wikimedia/mediawiki-extensions-TemplateData
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData synced 2024-11-14 19:27:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove default padding from panels, uses padded:true/false instead

Browse source 
Change-Id: Ica6bed595d8f1b2ac7cb6f30d3081536b7e8561b
This commit is contained in:
Ed Sanders 2020-10-04 15:49:21 +01:00
parent 71627e9061
commit d79e07f059
2 changed files with 2 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/ext.templateDataGenerator.editTemplatePage/Dialog.js
View file

@ -103,8 +103,8 @@ mw.TemplateData.Dialog.prototype.initialize = function () {
this.panels = new OO.ui.StackLayout( { continuous: false } );
this.listParamsPanel = new OO.ui.PanelLayout( { scrollable: true } );
this.editParamPanel = new OO.ui.PanelLayout();
this.listParamsPanel = new OO.ui.PanelLayout( { padded: true, scrollable: true } );
this.editParamPanel = new OO.ui.PanelLayout( { padded: true } );
this.languagePanel = new OO.ui.PanelLayout();
this.addParamPanel = new OO.ui.PanelLayout();
this.editMapsPanel = new OO.ui.PanelLayout();
@ -182,7 +182,6 @@ mw.TemplateData.Dialog.prototype.initialize = function () {
mapsListMenuLayout = new OO.ui.MenuLayout( {
classes: [ 'mw-templateData-template-map-list-menu-panel' ],
menuPosition: 'top',
padded: true,
expanded: true,
contentPanel: mapsListPanel,
menuPanel: addNewMapButtonPanel

4
modules/ext.templateDataGenerator.editTemplatePage/templateDataGenerator.ui.css
View file

@ -12,10 +12,6 @@
margin-top: 0.5em;
}
.tdg-templateDataDialog-panels .oo-ui-panelLayout {
padding: 1em;
}
.successbox,
.errorbox {
padding: 0.5em 1em;