jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/342252 )
Change subject: RCFilters UI: Adjust popup positioning again
......................................................................
RCFilters UI: Adjust popup positioning again
We should really change this to properly
align to the bottom of the text box, rather than
continuing to tweak a margin-top value.
Change-Id: Ic86c59a1726fa6e0ffd888a5e12b177f1d6fcfa5
---
M
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Sbisson: Looks good to me, approved
jenkins-bot: Verified
diff --git
a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less
index 970d140..5111a17 100644
---
a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less
+++
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less
@@ -6,7 +6,7 @@
&-popup {
// We have to override OOUI's definition, which is set
// on the inline style of the popup
- margin-top: 2.4em !important; /* stylelint-disable-line
declaration-no-important */
+ margin-top: 2em !important; /* stylelint-disable-line
declaration-no-important */
max-width: 650px;
.oo-ui-popupWidget-body {
--
To view, visit https://gerrit.wikimedia.org/r/342252
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic86c59a1726fa6e0ffd888a5e12b177f1d6fcfa5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Mooeypoo <[email protected]>
Gerrit-Reviewer: Sbisson <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
