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

Merge "CodeMirror support for WikiEditor keyboard shortcuts"

Browse source
This commit is contained in:
jenkins-bot 2024-11-05 16:12:34 +00:00 committed by Gerrit Code Review
parent 4770cb4c3a bc897f3002
commit 0ebd773243
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
resources/legacy/ext.CodeMirror.WikiEditor.js
View file

@ -196,6 +196,16 @@ function init() {
codeMirror.on( 'blur', () => { codeMirror.on( 'blur', () => {
$textbox1[ 0 ].dispatchEvent( new Event( 'blur' ) ); $textbox1[ 0 ].dispatchEvent( new Event( 'blur' ) );
} ); } );
codeMirror.on( 'keydown', ( _, e ) => {
if ( e.ctrlKey || e.metaKey ) {
// Possibly a WikiEditor keyboard shortcut
if ( !$textbox1[ 0 ].dispatchEvent( new KeyboardEvent( 'keydown', e ) ) ) {
// If it was actually a WikiEditor keyboard shortcut, the default would be prevented
// for the dispatched event and hence dispatchEvent() would return false
e.preventDefault();
}
}
} );
mw.hook( 'editRecovery.loadEnd' ).add( ( data ) => { mw.hook( 'editRecovery.loadEnd' ).add( ( data ) => {
codeMirror.on( 'change', data.fieldChangeHandler ); codeMirror.on( 'change', data.fieldChangeHandler );
} ); } );