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

Fix syntax highlighting

Browse source
This commit is contained in:
Patrick Elliott 2018-09-03 13:54:49 +02:00
parent f6d6096bf2
commit 82651f247e
No known key found for this signature in database
GPG key ID: 7CA109C3974AF5FA
1 changed files with 16 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -10,6 +10,21 @@
(def-package! agda2-mode
:mode "\\.agda\\'"
:after agda-input
:init
;; fix syntax highlighting
;; (taken from https://github.com/syl20bnr/spacemacs/blob/develop/layers/%2Blang/agda/packages.el)
(progn
(mapc
(lambda (x) (add-to-list 'face-remapping-alist x))
'((agda2-highlight-datatype-face . font-lock-type-face)
(agda2-highlight-function-face . font-lock-type-face)
(agda2-highlight-inductive-constructor-face . font-lock-function-name-face)
(agda2-highlight-keyword-face . font-lock-keyword-face)
(agda2-highlight-module-face . font-lock-constant-face)
(agda2-highlight-number-face . nil)
(agda2-highlight-postulate-face . font-lock-type-face)
(agda2-highlight-primitive-type-face . font-lock-type-face)
(agda2-highlight-record-face . font-lock-type-face))))
:config
(map! :map agda2-mode-map
:localleader
@ -17,3 +32,4 @@
:n "d" #'agda2-infer-type-maybe-toplevel
:n "o" #'agda2-module-contents-maybe-toplevel
:n "n" #'agda2-compute-normalised-maybe-toplevel))
;; TODO finish keybindings