wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-22 11:02:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/widgets
History
WMDE-Fisch 7f4645bbe0 Streamline button margin calculation for outline parts 
Generally the default button margin on the parts is 24px. The only
exception are the placeholder and wikitext when they are the last
parts in the outline.

Bug: T312644
Change-Id: Ie513bf1c022b2696cc92aacbbca59ddf6e55043e
2022-08-03 13:09:51 +02:00
..
images
ve.ui.MWAceEditorWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryInputWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryItemWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryPopupWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWEducationPopupWidget.css Rewrite EducationPopup so it isn't a mixin 2020-09-24 21:33:50 +01:00
ve.ui.MWMediaInfoFieldWidget.css Remove unused CSS vendor prefixes 2022-05-04 16:55:43 +01:00
ve.ui.MWTocWidget.css
ve.ui.MWTransclusionOutlineControlsWidget.less Simplify OutlineControls CSS a little more 2022-06-28 10:50:33 +02:00
ve.ui.MWTransclusionOutlineWidget.less Streamline button margin calculation for outline parts 2022-08-03 13:09:51 +02:00