diff options
| -rw-r--r-- | .emacs | 3 | ||||
| -rw-r--r-- | .emacs.d/custom.el | 2 | ||||
| -rw-r--r-- | .emacs.d/el-get-init.el | 2 |
3 files changed, 6 insertions, 1 deletions
@@ -91,6 +91,9 @@ (add-hook 'isar-mode-hook 'isar-mode-keys) +;; load fci +(add-hook 'isar-mode-hook 'fci-mode) + ;; custom file (setq custom-file "~/.emacs.d/custom.el") (load custom-file) diff --git a/.emacs.d/custom.el b/.emacs.d/custom.el index ef41b54..47bf551 100644 --- a/.emacs.d/custom.el +++ b/.emacs.d/custom.el @@ -3,6 +3,8 @@ ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. + '(fci-rule-color "firebrick1") + '(fill-column 80) '(indent-tabs-mode nil) '(isar-display:show-main-goal t) '(isar-maths-menu-enable t) diff --git a/.emacs.d/el-get-init.el b/.emacs.d/el-get-init.el index cb127ce..4eadeec 100644 --- a/.emacs.d/el-get-init.el +++ b/.emacs.d/el-get-init.el @@ -15,7 +15,7 @@ (setq my-packages (append - '(color-theme el-get sml-mode) + '(color-theme el-get sml-mode fill-column-indicator) (mapcar 'el-get-source-name el-get-sources))) (el-get 'sync my-packages) |