diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2011-10-14 17:14:40 +0200 |
|---|---|---|
| committer | René Neumann <rene.neumann@in.tum.de> | 2011-10-14 17:17:41 +0200 |
| commit | a848582437411de942f62c98f8436c188420b998 (patch) | |
| tree | 1db6c82bbbacb5a54fcc8bb388334226eaf4b3ec /.emacs | |
| parent | 6e3b1e00583a3427af4225e36eef247a70c8675a (diff) | |
| download | dotfiles-a848582437411de942f62c98f8436c188420b998.tar.gz dotfiles-a848582437411de942f62c98f8436c188420b998.tar.bz2 dotfiles-a848582437411de942f62c98f8436c188420b998.zip | |
Make the quotes in ProofGeneral to be nearly invisible
Diffstat (limited to '.emacs')
| -rw-r--r-- | .emacs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,7 +46,7 @@ ;; If there is more than one, they won't work right. '(default ((t (:inherit nil :stipple nil :background "Grey15" :foreground "Grey" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 113 :width normal :foundry "unknown" :family "Inconsolata")))) '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) - '(isabelle-quote-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) + '(isabelle-quote-face ((t (:foreground "grey21")))) '(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) '(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3")))) '(linum ((t (:inherit (shadow default) :foreground "gold")))) |