Mooeypoo has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/340803 )
Change subject: RCFilters UI: Adjust highlight button circle to new OOjsUI
changes
......................................................................
RCFilters UI: Adjust highlight button circle to new OOjsUI changes
Change-Id: Iaf9aeb8ac4e0ce5253bb5289884ab63a28e680b6
---
M resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
M
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemHighlightButton.less
2 files changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/03/340803/1
diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
index 2ce2c7f..187aada 100644
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
@@ -8,7 +8,7 @@
width: @diameter;
min-height: @diameter;
height: @diameter;
- margin: @padding;
+ margin: 0.2em @padding;
.box-sizing( border-box );
background-color: @color;
diff --git
a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemHighlightButton.less
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemHighlightButton.less
index dca4992..fe597e0 100644
---
a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemHighlightButton.less
+++
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemHighlightButton.less
@@ -2,7 +2,7 @@
.mw-rcfilters-ui-filterItemHighlightButton {
- &-circle {
+ .oo-ui-buttonWidget.oo-ui-popupButtonWidget .oo-ui-buttonElement-button
> &-circle {
display: inline-block;
vertical-align: middle;
background-image: none;
--
To view, visit https://gerrit.wikimedia.org/r/340803
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Iaf9aeb8ac4e0ce5253bb5289884ab63a28e680b6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Mooeypoo <mor...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
