wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-25 00:37:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules
History
Kaldari 27013f26e5 (bug 40735) Enabling editors to distinguish dashes in the WikiEditor 
Right now, the Special Characters interface in WikiEditor shows all
characters in a monospace font which makes it especially difficult to
distinguish the different dash characters. The solution implemented
in this change is to add title tooltips to the following characters:
en dash, em dash, minus sign. The title tooltips are localizable and
can be added to any other characters as needed. If we eventually want
to add title tooltips to all the characters, we should come up with a
config shortcut like we're using for Hebrew vowels.

Change-Id: I7eb207acda045a868ec4c625c39bfd3d1f78ea17
2012-10-16 16:26:04 -07:00
..
images More image compression for extensions 2012-03-01 02:24:49 +00:00
contentCollector.js * bump version to 0.3.1 2011-09-13 08:56:32 +00:00
ext.wikiEditor.css WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
ext.wikiEditor.dialogs.js WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
ext.wikiEditor.highlight.js * Moved ResourceLoader modules into the ext.* space - this is the convention that should be followed in the future 2010-09-20 20:06:18 +00:00
ext.wikiEditor.js * Moved ResourceLoader modules into the ext.* space - this is the convention that should be followed in the future 2010-09-20 20:06:18 +00:00
ext.wikiEditor.preview.js Extension:WikiEditor Code quality, JSHint validation and JSPERF 2011-06-06 23:18:13 +00:00
ext.wikiEditor.previewDialog.js * Moved ResourceLoader modules into the ext.* space - this is the convention that should be followed in the future 2010-09-20 20:06:18 +00:00
ext.wikiEditor.publish.js Extension:WikiEditor Code quality, JSHint validation and JSPERF 2011-06-06 23:18:13 +00:00
ext.wikiEditor.templateEditor.js WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
ext.wikiEditor.templates.js WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
ext.wikiEditor.tests.toolbar.js Tests: Add cursor: pointer; to the Run button 2012-07-17 13:40:40 -07:00
ext.wikiEditor.toc.js * Moved ResourceLoader modules into the ext.* space - this is the convention that should be followed in the future 2010-09-20 20:06:18 +00:00
ext.wikiEditor.toolbar.hideSig.js WikiEditor: Fix bug where ext.wikiEditor would load and wrap the textarea even if the toolbar was disabled. This has been reported to me on IRC but I'm not aware of any bug report in BZ 2011-09-29 19:04:54 +00:00
ext.wikiEditor.toolbar.js (bug 34885) Fixes issue where old toolbar was killed, even when the new toolbar was incompatible 2012-04-17 15:19:20 -07:00
jquery.wikiEditor.css Removed ad-hoc rtl rules - CSSJanus out of the box is doing just fine. 2011-01-12 00:06:57 +00:00
jquery.wikiEditor.dialogs.config.css (bug 24172) Adding dialog for file, (bug 24114) localize REDIRECT 2012-07-27 00:59:23 -07:00
jquery.wikiEditor.dialogs.config.js Fix for bug 38827. Setting thumb as default format 2012-08-19 22:02:05 +03:00
jquery.wikiEditor.dialogs.css WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.dialogs.js (bug 24566) Make the search and replace dialog non-modal 2012-08-04 16:16:25 +02:00
jquery.wikiEditor.highlight.js WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.html Followup r79570: fix the image paths up for real 2011-01-04 12:03:41 +00:00
jquery.wikiEditor.iframe.js Swap 2011-10-26 03:49:06 +00:00
jquery.wikiEditor.js WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.preview.css WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.preview.js WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.previewDialog.css WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.previewDialog.js * bump version to 0.3.1 2011-09-13 08:56:32 +00:00
jquery.wikiEditor.publish.js WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.templateEditor.js CSS cleanup. 2012-09-28 01:28:50 -07:00
jquery.wikiEditor.templates.js Copied over all the resources needed to make WikiEditor stand on it's own two feet. Lots more to do as far as organizing and fleshing out the extensions's PHP bits. 2010-09-15 03:08:35 +00:00
jquery.wikiEditor.toc.css CSS cleanup. 2012-09-28 01:28:50 -07:00
jquery.wikiEditor.toc.js WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.toolbar.config.js (bug 40735) Enabling editors to distinguish dashes in the WikiEditor 2012-10-16 16:26:04 -07:00
jquery.wikiEditor.toolbar.css CSS cleanup. 2012-09-28 01:28:50 -07:00
jquery.wikiEditor.toolbar.js (bug 40735) Enabling editors to distinguish dashes in the WikiEditor 2012-10-16 16:26:04 -07:00