diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-01-12 20:46:13 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-01-12 20:46:13 +0000 |
commit | 82c8274ebcb257866ab177c3528fcdae1978c9c2 (patch) | |
tree | 5434c815159422d79bedccf62d447f26b27ba882 | |
parent | 8d36e655b643eb1e46471230bbb350e9a2bd1e22 (diff) | |
download | dotfiles-82c8274ebcb257866ab177c3528fcdae1978c9c2.tar.gz dotfiles-82c8274ebcb257866ab177c3528fcdae1978c9c2.zip |
Remove last bits of golden-ratio mode
-rw-r--r-- | emacs/loader.org | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/emacs/loader.org b/emacs/loader.org index 93150e7..bd14c7e 100644 --- a/emacs/loader.org +++ b/emacs/loader.org @@ -1097,9 +1097,7 @@ Adding hook to clojure mode to enable strict parentheses mode. #+begin_src emacs-lisp (use-package proof-general :config - (setq coq-compile-before-require t) - (defadvice proof-goto-point (after adjust-window-in-proof) - (golden-ratio))) + (setq coq-compile-before-require t)) #+end_src #+RESULTS: |