wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-28 12:46:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/tools
History
Trevor Parscal 238feeb881 Tools changes 
* Rewrite of all tools, dramatically simplifiying them and decreasing
  duplication
* Tools are now created using a tool factory instead of
  a make-shift facility built into the toolbar
* All UI object have a surface or a toolbar reference instead of a
  surface view

Change-Id: I589ecba36bf715b452d03c8fd5c0547dc3c1dc61
2012-10-26 14:48:27 -07:00
..
buttons Tools changes 2012-10-26 14:48:27 -07:00
dropdowns Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.AnnotationButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.ButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.DropdownTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.IndentationButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.InspectorButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.ListButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00