msyds/sydnix
1
0
Fork 0
Code Issues 6 Pull Requests Actions Packages Projects Releases Wiki Activity

fix(emacs): syntax..

Browse Source
This commit is contained in:
msyds
2026-09-03 07:40:17 -06:00
parent 6527b0a274
commit 67cb7f35e6
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
modules/home/users/msyds/emacs/lisp/syd/agda.el
+3 -2
View File
@@ -16,7 +16,7 @@
(load-file (load-file
(let ((coding-system-for-read 'utf-8)) (let ((coding-system-for-read 'utf-8))
(shell-command-to-string (shell-command-to-string
(format "%s --emacs-mode locate" mikan-path)))))))) (format "%s --emacs-mode locate" mikan-path)))))))
(defface syd-agda2-default (defface syd-agda2-default
`((t :font ,(font-spec :family "IBM Plex Sans" :size 17) `((t :font ,(font-spec :family "IBM Plex Sans" :size 17)
@@ -100,7 +100,8 @@
(add-to-list (add-to-list
'auto-mode-alist 'auto-mode-alist
'("\\.lagda\\.org\\'" . agda2-mode)) `(,(rx ".lagda." (or "org" "md"))
. agda2-mode))
(with-eval-after-load 'smartparens (with-eval-after-load 'smartparens
(sp-local-pair '(agda2-mode) "{!" "!}")) (sp-local-pair '(agda2-mode) "{!" "!}"))