wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/tools
History
Rob Moen 3c9a4e7027 Restore arrow-down to original size because it is needed in context menu. 
Add element for arrow icon in dropdown tool and new css rules which
support RTL.

Change-Id: I4193f9cac7af7b84cf8400e9bdcbcb4967b57932
2012-07-25 12:18:51 -07:00
..
ve.ui.AnnotationButtonTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.ButtonTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.ClearButtonTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.DropdownTool.js Restore arrow-down to original size because it is needed in context menu. 2012-07-25 12:18:51 -07:00
ve.ui.FormatDropdownTool.js Converted some instances of "var\t" to "var " 2012-07-19 17:24:54 -07:00
ve.ui.HistoryButtonTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.IndentationButtonTool.js Remove trailing commas 2012-07-23 19:15:23 -07:00
ve.ui.ListButtonTool.js Converted some instances of "var\t" to "var " 2012-07-19 17:24:54 -07:00