jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/349157 )
Change subject: MWCategoryItemWidget: remove DraggableElement's padding
......................................................................
MWCategoryItemWidget: remove DraggableElement's padding
OOjs UI v0.21.0 changed DraggableElement's padding. Override it here, so it
doesn't look broken any more.
Bug: T163404
Change-Id: Ic0bc4f9e3e060cf89e6bc7cb22068d1fe1441d75
---
M modules/ve-mw/ui/styles/widgets/ve.ui.MWCategoryItemWidget.css
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ve-mw/ui/styles/widgets/ve.ui.MWCategoryItemWidget.css
b/modules/ve-mw/ui/styles/widgets/ve.ui.MWCategoryItemWidget.css
index ecd6605..a8e5cac 100644
--- a/modules/ve-mw/ui/styles/widgets/ve.ui.MWCategoryItemWidget.css
+++ b/modules/ve-mw/ui/styles/widgets/ve.ui.MWCategoryItemWidget.css
@@ -7,6 +7,7 @@
.ve-ui-mwCategoryItemWidget {
margin: 0 0.5em 0.5em 0;
+ padding: 0;
}
.ve-ui-mwCategoryItemWidget .oo-ui-labelElement-label.new {
--
To view, visit https://gerrit.wikimedia.org/r/349157
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic0bc4f9e3e060cf89e6bc7cb22068d1fe1441d75
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: DLynch <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
