[Agda] Emacs with dark background and Agdan

Francesco Mazzoli f at mazzo.li
Tue Oct 23 13:03:11 CEST 2012


Hi,

I use Emacs with a black background and the default Agda colours don't work too
well.  I've spent some time to customise the highlighting variables so that they
use the `font-lock' faces - apart from two colours:

    (custom-set-faces
     '(agda2-highlight-datatype-face ((t (:inherit font-lock-type-face))))
     '(agda2-highlight-field-face ((t (:foreground "#ad7fa8"))))
     '(agda2-highlight-function-face ((t (:inherit font-lock-function-name-face))))
     '(agda2-highlight-inductive-constructor-face ((t (:foreground "#ef2929"))))
     '(agda2-highlight-keyword-face ((t (:inherit font-lock-keyword-face))))
     '(agda2-highlight-module-face ((t (:inherit font-lock-builtin-face))))
     '(agda2-highlight-number-face ((t (:inherit font-lock-constant-face))))
     '(agda2-highlight-postulate-face ((t (:inherit font-lock-type-face))))
     '(agda2-highlight-primitive-face ((t (:inherit font-lock-type-face))))
     '(agda2-highlight-primitive-type-face ((t (:inherit font-lock-type-face))))
     '(agda2-highlight-record-face ((t (:inherit font-lock-type-face))))
     '(agda2-highlight-string-face ((t (:inherit font-lock-string-face)))))

This makes things much better with a dark background, and should be more
portable across different themes (apart from those two colours).

--
Francesco


More information about the Agda mailing list