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/styles
History
Trevor Parscal d0ff691f9e Add user interface widgets 
* New! Button and InputLabel widgets
* Using new buttons in the demo
* Moved styles around to generalize input styles

Change-Id: Ic42e133f8fe0fffcb61374c09dd5668db82a4799
TODO: Use these buttons other places! (like ve.init)
2013-02-13 18:04:04 -08:00
..
images Added new icons 2013-02-13 16:06:29 -08:00
ve.ui.Context.css Major Documentation Cleanup 2013-01-16 15:37:59 -08:00
ve.ui.Icons-raster.css Added new icons 2013-02-13 16:06:29 -08:00
ve.ui.Icons-vector.css Added new icons 2013-02-13 16:06:29 -08:00
ve.ui.Inspector.css Add user interface widgets 2013-02-13 18:04:04 -08:00
ve.ui.Inspector.Icons-raster.css Major Documentation Cleanup 2013-01-16 15:37:59 -08:00
ve.ui.Inspector.Icons-vector.css i18n icons 2013-02-01 15:29:18 -08:00
ve.ui.Surface.css Major Documentation Cleanup 2013-01-16 15:37:59 -08:00
ve.ui.Tool.css Major Documentation Cleanup 2013-01-16 15:37:59 -08:00
ve.ui.Toolbar.css Major Documentation Cleanup 2013-01-16 15:37:59 -08:00
ve.ui.Widget.css Add user interface widgets 2013-02-13 18:04:04 -08:00