diff options
| author | defanor <defanor@uberspace.net> | 2018-01-03 10:34:14 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2018-01-03 10:34:14 +0300 |
| commit | 9c34c4957728363e9d81f5684df18d26cc3727c0 (patch) | |
| tree | a4560dbe7e9cc775b8f2b946654759381b9d3d8c /.emacs.d | |
| parent | 81e6957bad029497c061f15d30955faea939466e (diff) | |
Add idris-mode faces
Diffstat (limited to '.emacs.d')
| -rw-r--r-- | .emacs.d/blueish-theme.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.emacs.d/blueish-theme.el b/.emacs.d/blueish-theme.el index 0544256..6a5054b 100644 --- a/.emacs.d/blueish-theme.el +++ b/.emacs.d/blueish-theme.el @@ -72,6 +72,10 @@ '(w3m-form-button ((t (:background "#363b40" :foreground "#c0c4c8" :box (:line-width 2 :color "#202020" :style released-button))))) ;; w3m-haddock '(w3m-haddock-heading-face ((t (:background "#1b2025")))) + ;; idris-mode + '(idris-semantic-data-face ((t (:foreground "#f99")))) + '(idris-semantic-function-face ((t (:foreground "#de8")))) + '(idris-semantic-bound-face ((t (:foreground "#a9d")))) ) |