From d98dd65936dbcb8bd3c91f1b160b3f41e0782f61 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 24 Sep 2012 12:56:59 +0000
Subject: Completing the possible layouts of proof-layout-windows (added the 3
 columns mode).

---
 coq/coq.el | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index dc5807d6..385ceac2 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1011,6 +1011,17 @@ flag Printing All set."
 ;;   Configuring proof and pbp mode and setting up various utilities  ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
+
+;; General consensus among users: flickering spans are much too annoying
+;; compared to the usefulness of tooltips.
+;; Set to t to bring it back%%
+;;
+;; FIXME: this always sets proof-output-tooltips to nil, even if the user puts
+;; explicitely the reverse in it sconfig file. I just want to change the
+;; *default* value to nil.
+(custom-set-default 'proof-output-tooltips nil)
+
+
 (defun coq-mode-config ()
   ;; Coq error messages are thrown off by TAB chars.
   (set (make-local-variable 'indent-tabs-mode) nil)
@@ -1080,11 +1091,6 @@ flag Printing All set."
   ;; span menu
   (setq proof-script-span-context-menu-extensions 'coq-create-span-menu)
 
-  ;; General consensus among users: flickering spans are much too annoying
-  ;; compared to the usefulness of tooltips.
-  ;; Set to t to bring it back
-  (setq proof-output-tooltips nil)
-
   (setq proof-shell-start-silent-cmd "Set Silent. "
         proof-shell-stop-silent-cmd "Unset Silent. ")
 
-- 
cgit v1.2.3