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

Merge "Fix target detection for jquery.textSelection overrides"

Browse source
This commit is contained in:
jenkins-bot 2017-12-21 01:07:21 +00:00 committed by Gerrit Code Review
parent 77704102c2 dee8f42080
commit 4df91bb67a
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
resources/ext.CodeMirror.js
View file

@ -1,6 +1,6 @@
( function ( mw, $ ) {
var origTextSelection, useCodeMirror, codeMirror, api, originHooksTextarea,
wikiEditorToolbarEnabled, enableContentEditable = true;
wikiEditorToolbarEnabled, enableContentEditable = true, textBox;
if ( mw.config.get( 'wgCodeEditorCurrentLanguage' ) ) { // If the CodeEditor is used then just exit;
return;
@ -54,7 +54,9 @@
function cmTextSelection( command, options ) {
var fn, retval;
if ( !codeMirror ) {
if ( !codeMirror ||
( this[ 0 ] !== textBox && this[ 0 ] !== codeMirror.getWrapperElement() )
) {
return origTextSelection.call( this, command, options );
}
@ -325,6 +327,7 @@
} );
$codeMirror = $( codeMirror.getWrapperElement() );
textBox = $textbox1[ 0 ];
$codeMirror.resizable( {
handles: 'se',