From a848582437411de942f62c98f8436c188420b998 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Neumann?= Date: Fri, 14 Oct 2011 17:14:40 +0200 Subject: Make the quotes in ProofGeneral to be nearly invisible --- .emacs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.emacs') diff --git a/.emacs b/.emacs index 339d4df..61d2b51 100644 --- a/.emacs +++ b/.emacs @@ -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")))) -- cgit v1.2.3