Allow adding multiple empty lines in editor. (#345)

This commit is contained in:
Patrick MARIE 2024-10-13 23:45:50 +02:00 committed by GitHub
parent 6959929094
commit 798a0bfc28
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,6 +1,6 @@
import {EditorView, gutter, keymap, lineNumbers} from "@codemirror/view"; import {EditorView, gutter, keymap, lineNumbers} from "@codemirror/view";
import {Compartment, EditorState, Facet, Line, SelectionRange} from "@codemirror/state"; import {Compartment, EditorState, Facet, Line, SelectionRange} from "@codemirror/state";
import {indentLess} from "@codemirror/commands"; import {defaultKeymap, indentLess} from "@codemirror/commands";
document.addEventListener("DOMContentLoaded", () => { document.addEventListener("DOMContentLoaded", () => {
EditorView.theme({}, {dark: true}); EditorView.theme({}, {dark: true});
@ -27,7 +27,10 @@ document.addEventListener("DOMContentLoaded", () => {
extensions: [ extensions: [
lineNumbers(), lineNumbers(),
gutter({class: "cm-mygutter"}), gutter({class: "cm-mygutter"}),
keymap.of([{key: "Tab", run: customIndentMore, shift: indentLess}]), keymap.of([
{key: "Tab", run: customIndentMore, shift: indentLess},
...defaultKeymap,
]),
indentSize.of(EditorState.tabSize.of(2)), indentSize.of(EditorState.tabSize.of(2)),
wrapMode.of([]), wrapMode.of([]),
indentType.of(txtFacet.of("space")), indentType.of(txtFacet.of("space")),