emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Remove syntax highlighting

Browse source
This commit is contained in:
Patrick Elliott 2018-09-21 14:52:42 +02:00
parent 818df0afe4
commit c23fe02869
No known key found for this signature in database
GPG key ID: 7CA109C3974AF5FA
1 changed files with 3 additions and 32 deletions
Download patch file Download diff file Expand all files Collapse all files

35
modules/lang/agda/config.el
View file

@ -4,41 +4,12 @@
(when (executable-find "agda-mode") (when (executable-find "agda-mode")
(file-name-directory (shell-command-to-string "agda-mode locate")))) (file-name-directory (shell-command-to-string "agda-mode locate"))))
(def-package! agda-input (def-package! agda2
:when +agda-dir
:load-path +agda-dir) :load-path +agda-dir)
(def-package! agda2-mode (def-package! agda2-mode
:mode "\\.agda\\'" :defer t
: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))))
:config :config
(map! :map agda2-mode-map (map! :map agda2-mode-map
:localleader :localleader