From 5fa90982ad9c04ad144c85af3e00e44ae4c018d2 Mon Sep 17 00:00:00 2001 From: lwoo1999 Date: Mon, 28 Jan 2019 13:35:05 +0800 Subject: [PATCH] agda highlight --- nord-theme.el | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/nord-theme.el b/nord-theme.el index f2dfb31..78ce591 100644 --- a/nord-theme.el +++ b/nord-theme.el @@ -154,6 +154,32 @@ ;; > C `(c-annotation-face ((,class (:foreground ,nord-annotation)))) + ;; > agda + `(agda2-highlight-keyword-face ((t (:foreground ,nord-keyword)))) + `(agda2-highlight-string-face ((t (:foreground ,nord-string)))) + `(agda2-highlight-number-face ((t (:foreground ,nord-numeric)))) + `(agda2-highlight-symbol-face ((t (:foreground ,nord-operator)))) + `(agda2-highlight-primitive-type-face ((t (:foreground ,nord-class)))) + `(agda2-highlight-bound-variable-face ((t (:foreground ,nord-annotation)))) + `(agda2-highlight-inductive-constructor-face ((t (:foreground ,nord-regexp)))) + `(agda2-highlight-coinductive-constructor-face ((t (:foreground ,nord-regexp)))) + `(agda2-highlight-datatype-face ((t (:foreground ,nord-method)))) + `(agda2-highlight-field-face ((t (:foreground ,nord-preprocessor)))) + `(agda2-highlight-function-face ((t (:foreground ,nord-method)))) + `(agda2-highlight-module-face ((t (:foreground ,nord-class)))) + `(agda2-highlight-postulate-face ((t (:foreground ,nord-class)))) + `(agda2-highlight-primitive-face ((t (:foreground ,nord-class)))) + `(agda2-highlight-record-face ((t (:foreground ,nord-class)))) + `(agda2-highlight-dotted-face ((t nil))) + `(agda2-highlight-operator-face ((t nil))) + `(agda2-highlight-error-face ((t (:foreground ,nord11 :underline t)))) + `(agda2-highlight-unsolved-meta-face ((t (:background ,nord-region-highlight-foreground :foreground ,nord13)))) + `(agda2-highlight-unsolved-constraint-face ((t (:background ,nord-region-highlight-foreground :foreground ,nord13)))) + `(agda2-highlight-termination-problem-face ((t (:background ,nord-region-highlight-foreground :foreground ,nord13)))) + `(agda2-highlight-incomplete-pattern-face ((t (:background ,nord-region-highlight-foreground :foreground ,nord13)))) + `(agda2-highlight-typechecks-face ((t (:background ,nord7 :foreground ,nord10)))) + `(agda2-highlight-catchall-clause-face ((t (:background ,nord2)))) + ;; > diff `(diff-added ((,class (:foreground ,nord14)))) `(diff-changed ((,class (:foreground ,nord13))))