diff options
| author | Dylan Meysmans <dmeysman@vub.ac.be> | 2015-10-03 16:25:47 +0200 |
|---|---|---|
| committer | Dylan Meysmans <dmeysman@vub.ac.be> | 2015-10-03 16:25:47 +0200 |
| commit | 07ab14562fbec8a6d28bff1306b7f6258912612f (patch) | |
| tree | 5617f438ea05385115b581f7bfaf522f091f317c /zenburn-theme.el | |
| parent | eeed1d3fd090862d321692c0281abe028af9b606 (diff) | |
Add support for agda-mode
Diffstat (limited to 'zenburn-theme.el')
| -rw-r--r-- | zenburn-theme.el | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/zenburn-theme.el b/zenburn-theme.el index 6aac770..07935f0 100644 --- a/zenburn-theme.el +++ b/zenburn-theme.el @@ -211,6 +211,22 @@ Also bind `class' to ((class color) (min-colors 89))." `(font-latex-italic-face ((t (:foreground ,zenburn-cyan :slant italic)))) `(font-latex-string-face ((t (:inherit ,font-lock-string-face)))) `(font-latex-math-face ((t (:foreground ,zenburn-orange)))) +;;;;; agda-mode + `(agda2-highlight-keyword-face ((t (:foreground ,zenburn-yellow :weight bold)))) + `(agda2-highlight-string-face ((t (:foreground ,zenburn-red)))) + `(agda2-highlight-symbol-face ((t (:foreground ,zenburn-orange)))) + `(agda2-highlight-primitive-type-face ((t (:foreground ,zenburn-blue-1)))) + `(agda2-highlight-inductive-constructor-face ((t (:foreground ,zenburn-fg)))) + `(agda2-highlight-coinductive-constructor-face ((t (:foreground ,zenburn-fg)))) + `(agda2-highlight-datatype-face ((t (:foreground ,zenburn-blue)))) + `(agda2-highlight-function-face ((t (:foreground ,zenburn-blue)))) + `(agda2-highlight-module-face ((t (:foreground ,zenburn-blue-1)))) + `(agda2-highlight-error-face ((t (:foreground ,zenburn-bg :background ,zenburn-magenta)))) + `(agda2-highlight-unsolved-meta-face ((t (:foreground ,zenburn-bg :background ,zenburn-magenta)))) + `(agda2-highlight-unsolved-constraint-face ((t (:foreground ,zenburn-bg :background ,zenburn-magenta)))) + `(agda2-highlight-termination-problem-face ((t (:foreground ,zenburn-bg :background ,zenburn-magenta)))) + `(agda2-highlight-incomplete-pattern-face ((t (:foreground ,zenburn-bg :background ,zenburn-magenta)))) + `(agda2-highlight-typechecks-face ((t (:background ,zenburn-red-4)))) ;;;;; auto-complete `(ac-candidate-face ((t (:background ,zenburn-bg+3 :foreground ,zenburn-bg-2)))) `(ac-selection-face ((t (:background ,zenburn-blue-4 :foreground ,zenburn-fg)))) |