wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-27 17:51:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use editfont (monospace by default) for ReplyWidget

Browse source 
Change-Id: I6ebcb02402526044c5aac135d57276f23589579e
This commit is contained in:
Ed Sanders 2019-12-03 16:29:25 +00:00
parent f64ecd9904
commit 723622ab5c
2 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
extension.json
View file

@ -78,7 +78,9 @@
"messages": [],
"dependencies": [
"ext.discussionTools.init",
"oojs-ui-core"
"oojs-ui-core",
"mediawiki.editfont.styles",
"mediawiki.user"
]
}
},

7
modules/dt.ui.ReplyWidget.js
View file

@ -15,7 +15,12 @@ mw.dt.ui.ReplyWidget = function ( comment, config ) {
this.textWidget = new OO.ui.MultilineTextInputWidget( $.extend( {
rows: 3,
autosize: true
autosize: true,
// The following classes can be used here:
// * mw-editfont-monospace
// * mw-editfont-sans-serif
// * mw-editfont-serif
classes: [ 'mw-editfont-' + mw.user.options.get( 'editfont' ) ]
}, config ) );
this.replyButton = new OO.ui.ButtonWidget( {
flags: [ 'primary', 'progressive' ],