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

Merge "Only give code mirror focus for specific commands"

Browse source
This commit is contained in:
jenkins-bot 2017-03-27 02:54:22 +00:00 committed by Gerrit Code Review
parent eaac96c5e1 53c64371dd
commit 1512e38c4e
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
resources/ext.CodeMirror.js
View file

@ -227,7 +227,9 @@
}
retval = fn[ command ].call( this, options );
codeMirror.focus();
if ( command === 'setSelection' ) {
codeMirror.focus();
}
return retval;
}