From 087cb61c1556998e0f410d336340a2f9cea9a7dc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= Date: Tue, 27 Oct 2009 17:12:38 +0100 Subject: Add line numbering for emacs --- .emacs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to '.emacs') 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"))))) -- cgit v1.2.3