wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Tweak the hard coded top scroll padding for the parameter list"

Browse source
This commit is contained in:
jenkins-bot 2022-08-01 13:05:03 +00:00 committed by Gerrit Code Review
parent a1bd30f35d 8ae4d291df
commit 2f555569ea
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-mw/ui/widgets/ve.ui.MWTransclusionOutlineParameterWidget.js
View file

@ -91,5 +91,5 @@ ve.ui.MWTransclusionOutlineParameterWidget.prototype.toggleHasValue = function (
ve.ui.MWTransclusionOutlineParameterWidget.prototype.scrollToView = function () {
// make sure parameter is visible and scrolled underneath the sticky
// TODO find a dynamic way to get height of the sticky part
this.scrollElementIntoView( { animate: false, padding: { top: 115 } } );
this.scrollElementIntoView( { animate: false, padding: { top: 114 } } );
};