wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 12:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/tools/buttons
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
..
ve.ui.BoldButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.BulletButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.ClearButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.IndentButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.ItalicButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.LinkButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.NumberButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.OutdentButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.RedoButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00
ve.ui.UndoButtonTool.js Tools changes 2012-10-26 14:48:27 -07:00