mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-05 14:12:53 +00:00
7297108a48
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 |
||
---|---|---|
.. | ||
ve.ui.AnnotationTool.js | ||
ve.ui.ClearAnnotationTool.js | ||
ve.ui.DialogTool.js | ||
ve.ui.ExperimentalTool.js | ||
ve.ui.FormatTool.js | ||
ve.ui.HistoryTool.js | ||
ve.ui.IndentationTool.js | ||
ve.ui.InspectorTool.js | ||
ve.ui.ListTool.js |