From 7528892f22503534b3e654a3b93c173bb6b0c6bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= Date: Mon, 30 Jun 2014 13:30:01 +0200 Subject: [emacs] Better highlighting of selected areas (does not clash with PG-proof state anymore). --- .emacs.d/custom.el | 1 + 1 file changed, 1 insertion(+) (limited to '.emacs.d') diff --git a/.emacs.d/custom.el b/.emacs.d/custom.el index af156bc..ef41b54 100644 --- a/.emacs.d/custom.el +++ b/.emacs.d/custom.el @@ -33,4 +33,5 @@ '(proof-highlight-dependent-face ((((type x) (class color) (background dark)) (:background "darkorange" :foreground "black")))) '(proof-region-mouse-highlight-face ((((type x) (class color) (background dark)) (:background "yellow3" :foreground "black")))) '(proof-warning-face ((((type x) (class color) (background dark)) (:background "orange2" :foreground "black")))) + '(region ((t (:background "dark slate gray")))) '(unicode-tokens-symbol-font-face ((t (:slant normal :weight normal :height 113 :width normal :foundry "unknown" :family "DejaVu Sans Mono"))))) -- cgit v1.2.3