wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 02:51:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/tools
History
Trevor Parscal 7297108a48 Make toolbars, toolgroups and tools toolFactory independent 
Objectives:
* Pass a specific tool factory into a toolbar, allowing it to be used
  with different collections of tools and not depend on the
  ve.ui.toolFactory global
* Move syntax highlight editor tools to their own factory

Change-Id: I307bf180bd6817bc044bc474a77861e13f431ddb
2013-10-03 21:49:36 +00:00
..
ve.ui.AnnotationTool.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
ve.ui.ClearAnnotationTool.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
ve.ui.DialogTool.js Make toolbars, toolgroups and tools toolFactory independent 2013-10-03 21:49:36 +00:00
ve.ui.ExperimentalTool.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
ve.ui.FormatTool.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
ve.ui.HistoryTool.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
ve.ui.IndentationTool.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
ve.ui.InspectorTool.js Make toolbars, toolgroups and tools toolFactory independent 2013-10-03 21:49:36 +00:00
ve.ui.ListTool.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00