Merge "Take parameter list out of tab navigation when empty"

This commit is contained in:
jenkins-bot 2022-07-08 13:13:26 +00:00 committed by Gerrit Code Review
commit 479732f516

View file

@ -442,6 +442,7 @@ ve.ui.MWTransclusionOutlineTemplateWidget.prototype.filterParameters = function
this.toggleUnusedWidget.toggle( !query );
this.infoWidget.toggle( nothingFound );
this.parameterList.setTabIndex( nothingFound ? -1 : 0 );
this.emit( 'filterParametersById', visibility );
};