diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2014-08-01 08:52:20 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2014-08-01 08:52:21 +0200 |
| commit | 86271407c3e3f702bbcc68cfb4f36240146fdb40 (patch) | |
| tree | 94265686dd6db0db1c5fc2368eb705581adac171 /.emacs.d/custom.el | |
| parent | 17d726df13fa1cd63291ba6fcf5ddcc6b055c6b9 (diff) | |
| download | dotfiles-86271407c3e3f702bbcc68cfb4f36240146fdb40.tar.gz dotfiles-86271407c3e3f702bbcc68cfb4f36240146fdb40.tar.bz2 dotfiles-86271407c3e3f702bbcc68cfb4f36240146fdb40.zip | |
[emacs] fci does not work with PG; try something else
Diffstat (limited to '.emacs.d/custom.el')
| -rw-r--r-- | .emacs.d/custom.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.emacs.d/custom.el b/.emacs.d/custom.el index 47bf551..22fa698 100644 --- a/.emacs.d/custom.el +++ b/.emacs.d/custom.el @@ -3,7 +3,6 @@ ;; 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) @@ -25,6 +24,7 @@ ;; 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. + '(column-enforce-face ((t (:underline "firebrick")))) '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) '(isabelle-quote-face ((t (:foreground "grey21")))) '(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) |