Mooeypoo has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/339736 )
Change subject: RCFilters UI: Limit filter popup height ...................................................................... RCFilters UI: Limit filter popup height Bug: T158118 Change-Id: I2f9e8b775b154635aa8b12f44876279173548b99 --- M resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less M resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterWrapperWidget.js 2 files changed, 7 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/36/339736/1 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 bdc94b3..7749dde 100644 --- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less +++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less @@ -8,6 +8,11 @@ // on the inline style of the popup margin-top: 2.4em !important; max-width: 650px; + + .oo-ui-popupWidget-popup { + overflow-y: auto; + padding-right: 0; + } } &-search { diff --git a/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterWrapperWidget.js b/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterWrapperWidget.js index d46bd4b..ee1c473 100644 --- a/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterWrapperWidget.js +++ b/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterWrapperWidget.js @@ -44,7 +44,8 @@ popup: { $content: this.filterPopup.$element, classes: [ 'mw-rcfilters-ui-filterWrapperWidget-popup' ], - width: 650 + width: 650, + height: 450 } } ); -- To view, visit https://gerrit.wikimedia.org/r/339736 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I2f9e8b775b154635aa8b12f44876279173548b99 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