mediawiki-extensions-Visual.../modules/ve/ui/tools
Rob Moen 8398696fe0 Put a space in the toolbarDropdownTool-label div for default
Addresses dropdown tool ui inconsistency on load

Change-Id: I855ac15e939fa895adb67daaeb45aadbac01f10b
2012-04-19 15:31:09 -07:00
..
ve.ui.AnnotationButtonTool.js Migrate tools from SurfaceObserver Class 2012-04-11 13:19:58 -07:00
ve.ui.ButtonTool.js
ve.ui.ClearButtonTool.js
ve.ui.DropdownTool.js Put a space in the toolbarDropdownTool-label div for default 2012-04-19 15:31:09 -07:00
ve.ui.FormatDropdownTool.js Fix up FormatDropdownTool 2012-04-12 16:21:10 -07:00
ve.ui.HistoryButtonTool.js
ve.ui.IndentationButtonTool.js
ve.ui.ListButtonTool.js