summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRené 'Necoro' Neumann <necoro@necoro.net>2014-06-30 13:30:01 +0200
committerRené 'Necoro' Neumann <necoro@necoro.net>2014-06-30 13:32:20 +0200
commit7528892f22503534b3e654a3b93c173bb6b0c6bc (patch)
tree0c07e7cbcb0f90ce0f6900c482bfbbb676277ddd
parent8b211cbfc9d591ca0fadf0a4063ec61d4d20e1c2 (diff)
downloaddotfiles-7528892f22503534b3e654a3b93c173bb6b0c6bc.tar.gz
dotfiles-7528892f22503534b3e654a3b93c173bb6b0c6bc.tar.bz2
dotfiles-7528892f22503534b3e654a3b93c173bb6b0c6bc.zip
[emacs] Better highlighting of selected areas (does not clash with PG-proof
state anymore).
Diffstat (limited to '')
-rw-r--r--.emacs.d/custom.el1
1 files changed, 1 insertions, 0 deletions
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")))))