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

Fix 'setSelection' in textSelection API

Browse source 
focus needs to come after setSelection

Change-Id: Ib073ddad445e05c4bc042b9c382a7d74369e29e1
This commit is contained in:
Ed Sanders 2020-04-07 12:59:05 +01:00 committed by Jforrester
parent 35593d526e
commit 9f566d6046
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(); return codeMirror.doc.getSelection();
}, },
setSelection: function ( options ) { setSelection: function ( options ) {
codeMirror.focus();
codeMirror.doc.setSelection( codeMirror.doc.posFromIndex( options.start ), codeMirror.doc.posFromIndex( options.end ) ); codeMirror.doc.setSelection( codeMirror.doc.posFromIndex( options.start ), codeMirror.doc.posFromIndex( options.end ) );
codeMirror.focus();
return this; return this;
}, },
replaceSelection: function ( value ) { replaceSelection: function ( value ) {