emacs agda: поправлены цвета

shvorin · Apr 18, 2013 · a94f43b · a94f43b
1 parent e945816
commit a94f43b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.emacs b/.emacs
@@ -30,7 +30,9 @@
  '(agda2-highlight-postulate-face ((t (:foreground "light blue"))))
  '(agda2-highlight-primitive-face ((t (:foreground "light blue"))))
  '(agda2-highlight-primitive-type-face ((t (:foreground "light blue"))))
- '(agda2-highlight-record-face ((t (:foreground "light blue")))))
+ '(agda2-highlight-record-face ((t (:foreground "light blue"))))
+ '(agda2-highlight-unsolved-constraint-face ((t (:background "orange3" :foreground "black"))))
+ '(agda2-highlight-unsolved-meta-face ((t (:background "orange3" :foreground "black")))))
 
 (load-file "~/.emacs.d/init.el")
 (put 'upcase-region 'disabled nil)