jenkins-bot has submitted this change and it was merged.
Change subject: Dashboard: Avoid the list jump when the translation filter is
sticky
......................................................................
Dashboard: Avoid the list jump when the translation filter is sticky
Occupy the place the place that would become empty when the header starts
floating when the page is scrolled. This prevents a jump of the content.
Bug: T113333
Change-Id: Ib1e197311c58f953281292734e8d3aea437d745e
---
M modules/dashboard/styles/ext.cx.dashboard.less
1 file changed, 6 insertions(+), 1 deletion(-)
Approvals:
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/dashboard/styles/ext.cx.dashboard.less
b/modules/dashboard/styles/ext.cx.dashboard.less
index 9600c90..b9d663e 100644
--- a/modules/dashboard/styles/ext.cx.dashboard.less
+++ b/modules/dashboard/styles/ext.cx.dashboard.less
@@ -130,6 +130,12 @@
padding-left: 50px;
}
+.cx-translationlist-container.sticky {
+ // Occupy the place the place that would become empty when the header
starts
+ // floating when the page is scrolled. This prevents a jump of the
content.
+ padding-top: 120px;
+}
+
.translation-source-language-filter,
.translation-target-language-filter {
background-color: #fff;
@@ -146,7 +152,6 @@
background-color: #f0f0f0;
padding: 0px;
- margin-bottom: 20px;
.cx-filters {
.mw-ui-one-half;
--
To view, visit https://gerrit.wikimedia.org/r/240682
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib1e197311c58f953281292734e8d3aea437d745e
Gerrit-PatchSet: 7
Gerrit-Project: mediawiki/extensions/ContentTranslation
Gerrit-Branch: master
Gerrit-Owner: Santhosh <santhosh.thottin...@gmail.com>
Gerrit-Reviewer: Amire80 <amir.ahar...@mail.huji.ac.il>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: Pginer <pgi...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
