branch: elpa/gruber-darker-theme
commit c7687ec0511941db1371dcd70b31061d74aa5668
Author: rexim <[email protected]>
Commit: rexim <[email protected]>
Add basic Agda2 support
---
gruber-darker-theme.el | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/gruber-darker-theme.el b/gruber-darker-theme.el
index 3a0f46c34e..203e676da8 100644
--- a/gruber-darker-theme.el
+++ b/gruber-darker-theme.el
@@ -68,6 +68,15 @@
(custom-theme-set-faces
'gruber-darker
+ ;; Agda2
+ `(agda2-highlight-datatype-face ((t (:foreground ,gruber-darker-quartz))))
+ `(agda2-highlight-primitive-type-face ((t (:foreground
,gruber-darker-quartz))))
+ `(agda2-highlight-function-face ((t (:foreground ,gruber-darker-niagara))))
+ `(agda2-highlight-keyword-face ((t ,(list :foreground gruber-darker-yellow
+ :bold t))))
+ `(agda2-highlight-inductive-constructor-face ((t (:foreground
,gruber-darker-green))))
+ `(agda2-highlight-number-face ((t (:foreground ,gruber-darker-wisteria))))
+
;; AUCTeX
`(font-latex-bold-face ((t (:foreground ,gruber-darker-quartz :bold t))))
`(font-latex-italic-face ((t (:foreground ,gruber-darker-quartz :italic
t))))
