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

CodeMirror support for WikiEditor keyboard shortcuts

Browse source 
Forward keydown events on the CodeMirror DOM element to the #wpTextbox1
element, on which WikiEditor's handlers are registered.

CM6 support to come later.

Bug: T62928
Depends-On: I18db5b6c53000457524573a9ae06939e8df0dc4f
Change-Id: I0e67f2db6b29636fe25583e926a9fb12a69e3851
This commit is contained in:
Siddharth VP 2024-10-12 02:17:51 +05:30
parent 7add5426ea
commit bc897f3002
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 );
} ); } );