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

Focus before setting the cursor/selection

Browse source 
Bug: T197263
Change-Id: If5efed656746e3e40fcda118e487cdcb00e0114a
This commit is contained in:
Derk-Jan Hartman 2018-06-17 18:10:24 +02:00 committed by Niharika29
parent f22a530f7c
commit 4ebe54a588
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

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