wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-24 06:13:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Make textbox height flexible with CodeMirror"

Browse source
This commit is contained in:
jenkins-bot 2017-11-07 01:26:17 +00:00 committed by Gerrit Code Review
parent a6e4f5c6d6 a0062e3100
commit d2855c76f4
2 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -33,7 +33,8 @@
"mediawiki.user",
"user.options",
"oojs-ui-widgets",
"mediawiki.storage"
"mediawiki.storage",
"jquery.ui.resizable"
],
"scripts": [
"ext.CodeMirror.js"

7
resources/ext.CodeMirror.js
View file

@ -326,6 +326,13 @@
$codeMirror = $( codeMirror.getWrapperElement() );
$codeMirror.resizable( {
handles: 'se',
resize: function ( event, ui ) {
ui.size.width = ui.originalSize.width;
}
} );
codeMirror.doc.setSelection( codeMirror.doc.posFromIndex( selectionEnd ), codeMirror.doc.posFromIndex( selectionStart ) );
codeMirror.scrollTo( null, scrollTop );