mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
eafe5d844c
Re-label the headings in the MWFormatDropdownTool with MW-specific headings per bug 43334, reduce the size of the dropdown's contents a little to make the headings less vibrant, and move the H1 option to the end of the list to further discourage its use. Note that there are some issues with the underlying structure here and our ability to split the repos into VE-core and VE-MW will need this to be refactored. Bug: 43334 Change-Id: I5a58b4dcebd6ceae0ffcd24f663429f25bdc3db9 |
||
---|---|---|
.. | ||
buttons | ||
dropdowns | ||
ve.ui.AnnotationButtonTool.js | ||
ve.ui.ButtonTool.js | ||
ve.ui.DialogButtonTool.js | ||
ve.ui.DropdownTool.js | ||
ve.ui.IndentationButtonTool.js | ||
ve.ui.InspectorButtonTool.js | ||
ve.ui.ListButtonTool.js |