darcsden :: Paul -> AgdaFork -> patch

. — .

patch

Nils Anders Danielsson :: Sun Jan 29 00:27:33 UTC 2012
Changed the default for agda2-highlight-typechecks-face.
- I hope that the new face makes it a bit easier to locate the expression which is currently being type-checked.

summary

src/data/emacs-mode/agda2-highlight.el

changes

src/data/emacs-mode/agda2-highlight.el :: line 309

  '((t (:background "light steel blue"
        :foreground "black")))

  '((t (:background "gold"
        :foreground "black"
        :box        (:line-width 1 :color "black" :style nil))))