diff options
Diffstat (limited to '')
-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"))))) |