Add line numbering for emacs

1 files changed, 5 insertions, 1 deletions

diff --git a/.emacs b/.emacs
index 9471970..b8d8374 100644
--- a/.emacs
+++ b/.emacs
@@ -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")))))