From 82c8274ebcb257866ab177c3528fcdae1978c9c2 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 12 Jan 2020 20:46:13 +0000 Subject: Remove last bits of golden-ratio mode --- emacs/loader.org | 4 +--- 1 file changed, 1 insertion(+), 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: -- cgit