wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 17:36:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/styles
History
Trevor Parscal 1a7a5a9948 Allow menu tool groups to be wider if needed 
Using a min-width instead of a width ensures it gets larger only if
needed.

Bug: 54870
Change-Id: I9953d21134d722547efa0cdbe32e1bc0c13d6093
2013-10-03 21:25:46 +00:00
..
images Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.Context.css Add ve.ui.ToolGroup and use within toolbar setup 2013-08-07 05:08:20 +00:00
ve.ui.css The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.ui.Dialog.css Scroll into view support 2013-09-16 16:46:58 -07:00
ve.ui.Element.css Scroll into view support 2013-09-16 16:46:58 -07:00
ve.ui.Frame.css Transplant CSS from the main document to each iframe 2013-07-09 16:13:28 -07:00
ve.ui.Icons-raster.css Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.Icons-vector.css Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.Inspector.css Remove dead CSS code 2013-07-10 01:32:57 +00:00
ve.ui.Layout.css Add padded option to layouts 2013-07-17 19:10:44 +00:00
ve.ui.Surface.css Make local overlays local to surface and remove insane z-indexes 2013-07-02 19:35:43 +00:00
ve.ui.Tool.css Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.Toolbar.css Add ve.ui.ToolGroup and use within toolbar setup 2013-08-07 05:08:20 +00:00
ve.ui.ToolGroup.css Allow menu tool groups to be wider if needed 2013-10-03 21:25:46 +00:00
ve.ui.Widget.css Cleanup tool styles 2013-08-07 05:08:08 +00:00
ve.ui.Window.css Transplant CSS from the main document to each iframe 2013-07-09 16:13:28 -07:00