wikimedia/mediawiki-extensions-TemplateData
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData synced 2024-11-23 15:36:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use monospace font for editing custom maps (JSON)

Browse source 
Change-Id: Ic1c6bd0194251ab4eaefb876bdb04ce9b7bcf6e5
This commit is contained in:
Ed Sanders 2024-09-19 14:02:35 +01:00
parent 4ab9e38274
commit 0d8ac1fc82
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/ext.templateDataGenerator.editTemplatePage/Dialog.js
View file

@ -142,7 +142,7 @@ Dialog.prototype.initialize = function () {
// Maps panel
this.templateMapsInput = new OO.ui.MultilineTextInputWidget( {
classes: [ 'mw-templateData-template-maps-input' ],
classes: [ 'mw-templateData-template-maps-input mw-editfont-monospace' ],
autosize: true,
rows: this.getBodyHeight() / 22.5,
maxRows: this.getBodyHeight() / 22.5,