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 "CodeMirror: add Ctrl+Shift+z as redo shortcut on Windows"

Browse source
This commit is contained in:
jenkins-bot 2024-08-14 23:10:58 +00:00 committed by Gerrit Code Review
parent 61d71a5f53 bdb8e008df
commit 2973880c28
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
resources/codemirror.js
View file

@ -3,6 +3,7 @@ const {
EditorView,
Extension,
Compartment,
KeyBinding,
ViewUpdate,
bracketMatching,
crosshairCursor,
@ -14,6 +15,7 @@ const {
keymap,
lineNumbers,
rectangularSelection,
redo,
searchKeymap
} = require( 'ext.CodeMirror.v6.lib' );
const CodeMirrorTextSelection = require( './codemirror.textSelection.js' );
@ -151,7 +153,13 @@ class CodeMirror {
}
} ) );
extensions.push( history() );
extensions.push( keymap.of( historyKeymap ) );
extensions.push( keymap.of(
historyKeymap.concat( /** @type {KeyBinding} */ {
win: 'Ctrl-Shift-z',
run: redo,
preventDefault: true
} )
) );
}
// Set to [] to disable everywhere, or null to enable everywhere