wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/oojs-ui/styles
History
Trevor Parscal 3dcba7679a Add OO.ui.ToggleWidget 
Compact toggle widget with short labels for on/off states.

Change-Id: I582e81126d5f1564302409c1b262e28e4a9505ac
2013-11-12 16:54:35 -08:00
..
images Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Dialog.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Element.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Frame.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Icons-raster.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Icons-vector.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Layout.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Tool.css Add OO.ui.PopupTool 2013-10-29 05:57:40 +00:00
OO.ui.Toolbar.css Use a toolbar for the actions buttons in ve.init.mw.ViewPageTarget 2013-10-29 05:57:52 +00:00
OO.ui.ToolGroup.css Work around crazy Chrome bug 2013-11-04 09:47:16 -08:00
OO.ui.Widget.css Add OO.ui.ToggleWidget 2013-11-12 16:54:35 -08:00
OO.ui.Window.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00