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

Do not redefine the browser history navigation keys Alt-Left and Alt-Right

Browse source 
Bug: T174055
Change-Id: I1e2acb927dfcc0799b78b2dc045c0208246ba111
This commit is contained in:
Fomafix 2017-08-24 19:58:13 +02:00
parent a997fd8f36
commit ae8696fea6
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
resources/ext.CodeMirror.js
View file

@ -367,7 +367,10 @@
// select mediawiki as text input mode
mode: 'text/mediawiki',
extraKeys: {
Tab: false
Tab: false,
// T174055: Do not redefine the browser history navigation keys
'Alt-Left': false,
'Alt-Right': false
}
} );
$codeMirror = $( codeMirror.getWrapperElement() );