wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-04 18:58:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/widgets
History
Moriel Schottlender cf237b882e Insert special character tool 
A tool to add special characters and diacritics to text.

Also added a new button type ve.ui.GroupButtonWidget that includes a
group of PushButtonWidget objects and returna the individual button's
value upon click

Wikis can edit <visualeditor-specialcharinspector-characterlist-insert>,
a JSON string, to include their own desird special characters to insert
through the tool.

Bug: 50296
Change-Id: I26d1f437feef1c8b61ed3be5f74ef524b33baf49
2013-12-05 22:51:14 -08:00
..
ve.ui.GroupButtonWidget.js Insert special character tool 2013-12-05 22:51:14 -08:00
ve.ui.LanguageInputWidget.js Rename this.$ to this.$element, and this.$$ to this.$ 2013-11-03 23:03:49 -08:00
ve.ui.LinkTargetInputWidget.js Rename this.$ to this.$element, and this.$$ to this.$ 2013-11-03 23:03:49 -08:00
ve.ui.SurfaceWidget.js Always use #getDocumentNode. 2013-12-04 22:55:26 +00:00