fix: editor tab key

2025-07-20 18:29:43 -04:00 · 2025-07-20 18:29:43 -04:00 · a33ee961fe
commit a33ee961fe
parent 59b8c8cac6
5 changed files with 24 additions and 11 deletions
--- a/app/public/app.js
+++ b/app/public/app.js
@ -84,8 +84,10 @@ globalThis.init_editor = () => {
        highlightFormatting: false,
        fencedCodeBlockHighlighting: false,
        xml: false,
-        smartIndent: true,
+        smartIndent: false,
        indentUnit: 4,
+        tabSize: 4,
+        indentWithTabs: false,
        placeholder: "",
        extraKeys: {
            Home: "goLineLeft",
@ -93,6 +95,7 @@ globalThis.init_editor = () => {
            Enter: (cm) => {
                cm.replaceSelection("\n");
            },
+            Tab: "insertSoftTab",
        },
    });