jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/377302 )
Change subject: Fix word jumping (option+arrow key) for Mac ...................................................................... Fix word jumping (option+arrow key) for Mac Bug: T175378 Bug: T174055 Change-Id: I7f648691ec3b36f9abe1c5c7fbe5c97e142f500e --- M resources/ext.CodeMirror.js 1 file changed, 5 insertions(+), 4 deletions(-) Approvals: Niharika29: Looks good to me, approved jenkins-bot: Verified diff --git a/resources/ext.CodeMirror.js b/resources/ext.CodeMirror.js index 7a253e7..1ebd32c 100644 --- a/resources/ext.CodeMirror.js +++ b/resources/ext.CodeMirror.js @@ -17,6 +17,10 @@ // This can be the string "0" if the user disabled the preference - Bug T54542#555387 mw.user.options.get( 'usebetatoolbar' ) > 0; + // T174055: Do not redefine the browser history navigation keys (T175378: for PC only) + CodeMirror.keyMap.pcDefault[ 'Alt-Left' ] = false; + CodeMirror.keyMap.pcDefault[ 'Alt-Right' ] = false; + // function for a textselection function for CodeMirror function cmTextSelection( command, options ) { var fn, retval; @@ -370,10 +374,7 @@ Tab: false, // T174514: Move the cursor at the beginning/end of the current wrapped line Home: 'goLineLeft', - End: 'goLineRight', - // T174055: Do not redefine the browser history navigation keys - 'Alt-Left': false, - 'Alt-Right': false + End: 'goLineRight' }, viewportMargin: Infinity } ); -- To view, visit https://gerrit.wikimedia.org/r/377302 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7f648691ec3b36f9abe1c5c7fbe5c97e142f500e Gerrit-PatchSet: 5 Gerrit-Project: mediawiki/extensions/CodeMirror Gerrit-Branch: master Gerrit-Owner: Pastakhov <pastak...@yandex.ru> Gerrit-Reviewer: Fomafix <foma...@googlemail.com> Gerrit-Reviewer: Niharika29 <nko...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits