From 93d91cc8895c8077bf247e91ac2f0f6a6226d9c7 Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Tue, 22 Aug 2023 16:11:59 +0200
Subject: [PATCH] tab key handling

---
 src/main.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main.ts b/src/main.ts
index 16c9938..d4cdb19 100644
--- a/src/main.ts
+++ b/src/main.ts
@@ -4,6 +4,7 @@ import { javascript } from "@codemirror/lang-javascript";
 import { oneDark } from "@codemirror/theme-one-dark";
 import { markdown } from "@codemirror/lang-markdown";
 import { Extension, Prec } from "@codemirror/state";
+import {indentWithTab} from "@codemirror/commands"
 import { vim } from "@replit/codemirror-vim";
 import { AppSettings } from "./AppSettings";
 import { editorSetup } from "./EditorSetup";
@@ -231,6 +232,7 @@ export class Editor {
 				Prec.highest(keymap.of([
 					{ key:"Ctrl-Enter", run: ()=>{return true} }
 				])),
+        keymap.of([indentWithTab]),
       ],
       doc: this.universes[this.selected_universe].locals[this.local_index]
         .candidate,