diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-10-27 17:12:38 +0100 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-10-27 17:12:38 +0100 |
| commit | 087cb61c1556998e0f410d336340a2f9cea9a7dc (patch) | |
| tree | 791fedf6f8c82d4abfe57d2d392ee6681f08f27e /.emacs | |
| parent | 3263c97cc75129f1929eeb6c8836017215dd0114 (diff) | |
| download | dotfiles-087cb61c1556998e0f410d336340a2f9cea9a7dc.tar.gz dotfiles-087cb61c1556998e0f410d336340a2f9cea9a7dc.tar.bz2 dotfiles-087cb61c1556998e0f410d336340a2f9cea9a7dc.zip | |
Add line numbering for emacs
Diffstat (limited to '.emacs')
| -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"))))) |