[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