wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2025-01-06 01:35:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

CodeMirror: indent with \t

Browse source 
Based on the discussion, the default indent unit should be `\t` instead of spaces.

Bug: T376351
Change-Id: Ib369501019e15c3d9bb7e83a6518c71896cecddc
This commit is contained in:
bhsd 2024-12-03 16:58:10 +08:00
parent c4baf83933
commit a91eb00b5d
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/codemirror.js
View file

@ -13,6 +13,7 @@ const {
highlightSpecialChars, highlightSpecialChars,
history, history,
historyKeymap, historyKeymap,
indentUnit,
keymap, keymap,
lineNumbers, lineNumbers,
rectangularSelection, rectangularSelection,
@ -134,6 +135,7 @@ class CodeMirror {
this.dirExtension, this.dirExtension,
this.searchExtension, this.searchExtension,
this.preferences.extension, this.preferences.extension,
indentUnit.of( '\t' ),
EditorState.readOnly.of( this.readOnly ), EditorState.readOnly.of( this.readOnly ),
EditorView.domEventHandlers( { EditorView.domEventHandlers( {
blur: () => { blur: () => {