Home Gen55 @ 2025-09-28-15:47 by jonas@monolith

This commit is contained in:
Jonas Röger 2025-09-28 15:47:32 +02:00
parent e542b466e0
commit 739701034f

View File

@ -248,6 +248,16 @@
(bash-ts-mode . lsp-deferred)
(json-ts-mode . lsp-deferred)))
(after! jj-mode
(map! :leader
(:prefix ("j" . "Jujutsu")
:desc "Log" "j" #'jj-log
:desc "Describe" "d" #'jj-describe
:desc "Abandon" "a" #'jj-abandon
:desc "New" "n" #'jj-new
)))
(setq auto-mode-alist (cons '("\\.smt$" . smtlib-mode) auto-mode-alist))
(autoload 'smtlib-mode "smtlib" "Major mode for SMTLIB" t)