diff options
Diffstat (limited to '')
-rw-r--r-- | .emacs | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,11 +1,14 @@ (add-to-list 'load-path "~/.emacs.d") +;; line numbering +(global-linum-mode 1) +(setq linum-format "%4d ") + (require 'color-theme) (color-theme-initialize) (color-theme-charcoal-black) (custom-set-variables - ;; custom-set-variables was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. @@ -28,6 +31,7 @@ ;; If there is more than one, they won't work right. '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) '(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3")))) + '(linum ((t (:inherit (shadow default) :foreground "gold")))) '(proof-highlight-dependency-face ((((type x) (class color) (background dark)) (:background "peru" :foreground "black")))) '(proof-highlight-dependent-face ((((type x) (class color) (background dark)) (:background "darkorange" :foreground "black")))) '(proof-warning-face ((((type x) (class color) (background dark)) (:background "orange2" :foreground "black"))))) |