diff options
Diffstat (limited to '')
-rw-r--r-- | .emacs | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -3,14 +3,22 @@ ;; wrap long lines (setq truncate-partial-width-windows nil) +;; show parens +(show-paren-mode 1) + ;; line numbering (global-linum-mode 1) (setq linum-format "%4d ") +;; theming (require 'color-theme) (color-theme-initialize) (color-theme-charcoal-black) +;; key bindings +(add-hook 'proof-mode-hook + (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-token-insert))) + (custom-set-variables ;; custom-set-variables was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. |