enhance: git auto-commit when detecting new changes from the disk

2026-04-29 16:36:27 +00:00 · 2021-08-24 23:59:48 +08:00
parent e2abf01deb
commit a378170c26
3 changed files with 13 additions and 7 deletions
--- a/src/main/frontend/extensions/code.cljs
+++ b/src/main/frontend/extensions/code.cljs
@@ -48,7 +48,7 @@
            ["codemirror/mode/sparql/sparql"]
            ["codemirror/mode/turtle/turtle"]
            ["codemirror/mode/r/r"]
-            ))
+            ["codemirror/mode/julia/julia"]))

 ;; codemirror