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

Merge "Fix 'setSelection' in textSelection API"

Browse source
This commit is contained in:
jenkins-bot 2020-07-15 19:21:51 +00:00 committed by Gerrit Code Review
parent a9da1fa59e 9f566d6046
commit f40872ec83
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/ext.CodeMirror.js
View file

@ -50,8 +50,8 @@
return codeMirror.doc.getSelection();
},
setSelection: function ( options ) {
codeMirror.focus();
codeMirror.doc.setSelection( codeMirror.doc.posFromIndex( options.start ), codeMirror.doc.posFromIndex( options.end ) );
codeMirror.focus();
return this;
},
replaceSelection: function ( value ) {