chore(emacs): don't mono my agdaaa

2025-12-20 13:59:27 -07:00
parent 30a7c669b3
commit b4133594a7
1 changed files with 1 additions and 4 deletions
--- a/modules/home/users/msyds/emacs/lisp/syd/agda.el
+++ b/modules/home/users/msyds/emacs/lisp/syd/agda.el
@@ -136,9 +136,6 @@
      (setq-local use-default-font-for-symbols nil)
      (buffer-face-set 'syd-agda2-default)
      (set-fontset-font
-       t 'symbol syd-agda2-symbol-font)
-      (face-remap-add-relative
-       'highlight
-       `((t :font ,(font-spec :family "IBM Plex Mono")))))))
+       t 'symbol syd-agda2-symbol-font))))

 (provide 'syd/agda)