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

CodeMirror: copy tabindex attribute from textarea

Browse source 
The Tab key should navigate to the edit summary from the editor, or to
the Realtime Preview pane if it is open.

Change-Id: I7810bfd098f6b9dd5afab9aa534685d3e4166af6
This commit is contained in:
MusikAnimal 2024-03-20 21:51:09 -04:00
parent 6be3bf62f0
commit 432e868f2e
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/dist/codemirror.js vendored
View file

File diff suppressed because one or more lines are too long

3
src/codemirror.js
View file

@ -155,7 +155,8 @@ class CodeMirror {
accesskey: this.$textarea.attr( 'accesskey' ),
// Classes need to be on .cm-content to have precedence over .cm-scroller
class: classList.join( ' ' ),
spellcheck: 'true'
spellcheck: 'true',
tabindex: this.$textarea.attr( 'tabindex' )
} ),
// .cm-editor element (contains the whole CodeMirror UI)
EditorView.editorAttributes.of( {