From c23fe02869d2a33866f2e89d64ad04373174b486 Mon Sep 17 00:00:00 2001 From: Patrick Elliott Date: Fri, 21 Sep 2018 14:52:42 +0200 Subject: [PATCH] Remove syntax highlighting --- modules/lang/agda/config.el | 35 +++-------------------------------- 1 file changed, 3 insertions(+), 32 deletions(-) diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el index dce22f3a0..dc21ae25c 100644 --- a/modules/lang/agda/config.el +++ b/modules/lang/agda/config.el @@ -4,41 +4,12 @@ (when (executable-find "agda-mode") (file-name-directory (shell-command-to-string "agda-mode locate")))) -(def-package! agda-input +(def-package! agda2 + :when +agda-dir :load-path +agda-dir) (def-package! agda2-mode - :mode "\\.agda\\'" - :after agda-input - :init - ;; make syntax-highlighting more consistent with other major modes - (progn - (mapc - (lambda (x) (add-to-list 'face-remapping-alist x)) - '((agda2-highlight-keyword-face . font-lock-keyword-face) - (agda2-highlight-string-face . font-lock-string-face) - (agda2-highlight-number-face . font-lock-string-face) - (agda2-highlight-symbol-face . font-lock-variable-name-face) - (agda2-highlight-primitive-type-face . font-lock-type-face) - (agda2-highlight-bound-variable-face . font-lock-variable-name-face) - (agda2-highlight-inductive-constructor-face . font-lock-type-face) - (agda2-highlight-coinductive-constructor-face . font-lock-type-face) - (agda2-highlight-datatype-face . font-lock-type-face) - (agda2-highlight-field-face . font-lock-type-face) - (agda2-highlight-function-face . font-lock-function-name-face) - (agda2-highlight-module-face . font-lock-variable-name-face) - (agda2-highlight-postulate-face . font-lock-type-face) - (agda2-highlight-primitive-face . font-lock-type-face) - (agda2-highlight-macro-face . font-lock-function-name-face) - (agda2-highlight-record-face . font-lock-type-face) - (agda2-highlight-error-face . font-lock-warning-face) - (agda2-highlight-dotted-face . font-lock-variable-name-face) - (agda2-highlight-unsolved-meta-face . font-lock-warning-face) - (agda2-highlight-unsolved-constraint-face . font-lock-warning-face) - (agda2-highlight-termination-problem-face . font-lock-warning-face) - (agda2-highlight-positivity-problem-face . font-lock-warning-face) - (agda2-highlight-incomplete-pattern-face . font-lock-warning-face) - (agda2-highlight-typechecks-face . font-lock-warning-face)))) + :defer t :config (map! :map agda2-mode-map :localleader