diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2014-06-30 13:30:01 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2014-06-30 13:32:20 +0200 |
| commit | 7528892f22503534b3e654a3b93c173bb6b0c6bc (patch) | |
| tree | 0c07e7cbcb0f90ce0f6900c482bfbbb676277ddd /.emacs.d | |
| parent | 8b211cbfc9d591ca0fadf0a4063ec61d4d20e1c2 (diff) | |
| download | dotfiles-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 '.emacs.d')
| -rw-r--r-- | .emacs.d/custom.el | 1 |
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"))))) |