From 1658b9ac6ce748fe30565ab74ebee0c362b488f7 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 31 Aug 2012 20:57:19 +0000
Subject: Changed the behaviour of proof-layout-windows. Now it follows the
 'horizontal 'vertical 'smart policy.

---
 coq/coq-abbrev.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'coq')

diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index 3b27180b..aad46d45 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -80,7 +80,11 @@
 ;; Common part (scrit, response and goals buffers)
 (defconst coq-menu-common-entries
   `(
-    ["Toggle 3 windows mode" proof-three-window-toggle t]
+    ["Toggle 3 windows mode" proof-three-window-toggle 
+     :style toggle
+     :selected proof-three-window-enable
+     :help "Toggles the use of separate windows or frames for Coq responses and goals."
+     ]
     ["Refresh windows layout" proof-layout-windows t]
     ["Toggle tooltips" proof-output-tooltips-toggle
      :style toggle
-- 
cgit v1.2.3