From b4133594a7f1f9a53ec4f2da9703045fd1c4c5fa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= Date: Sat, 20 Dec 2025 13:59:27 -0700 Subject: [PATCH] chore(emacs): don't mono my agdaaa --- modules/home/users/msyds/emacs/lisp/syd/agda.el | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/modules/home/users/msyds/emacs/lisp/syd/agda.el b/modules/home/users/msyds/emacs/lisp/syd/agda.el index c1240f5..5c1bc3c 100755 --- 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)