wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/tools
History
Rob Moen 96d97c2aa8 Optimize UI tool state updates. 
Rather than each tool requesting annotations, and nodes pertaining to selection,
Emitted event supplies annotations and nodes to each tool's update method.

Using select vs. of traverseLeafNodes for code optimization.
Better documentation for updateTools()

Removed unneeded code.

Change-Id: I7c0baa1cc0f7fb731d6e28b175a76e931e9e2961
2012-09-19 11:16:10 -07:00
..
ve.ui.AnnotationButtonTool.js Optimize UI tool state updates. 2012-09-19 11:16:10 -07:00
ve.ui.ButtonTool.js Rename ve_foo_bar back to VeFooBar per discussion 2012-09-06 16:15:55 -07:00
ve.ui.ClearButtonTool.js Optimize UI tool state updates. 2012-09-19 11:16:10 -07:00
ve.ui.DropdownTool.js Documentation & clean up 2012-09-17 16:02:52 +02:00
ve.ui.FormatDropdownTool.js Optimize UI tool state updates. 2012-09-19 11:16:10 -07:00
ve.ui.HistoryButtonTool.js Optimize UI tool state updates. 2012-09-19 11:16:10 -07:00
ve.ui.IndentationButtonTool.js Optimize UI tool state updates. 2012-09-19 11:16:10 -07:00
ve.ui.ListButtonTool.js Optimize UI tool state updates. 2012-09-19 11:16:10 -07:00