From 0cfd40541a5958eb3806d54d4882b0caace38bd0 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 25 Sep 2012 09:39:54 +0000
Subject: Added a menu to set the 3 windows layout.

---
 coq/coq-abbrev.el | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index 6bd687ef..5242b4f1 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -85,6 +85,35 @@
      :selected proof-three-window-enable
      :help "Toggles the use of separate windows or frames for Coq responses and goals."
      ]
+    ("3 Windows mode layout"
+     ["smart"
+      (progn
+	(customize-set-variable 'proof-three-window-mode-policy 'smart)
+	(proof-layout-windows))
+      :style radio
+      :selected (eq proof-three-window-mode-policy 'smart)
+      :help "Adapt to frame width (C-c C-l to refresh)"]
+     ["hybrid"
+      (progn
+	(customize-set-variable 'proof-three-window-mode-policy 'hybrid)
+	(proof-layout-windows))
+      :style radio
+      :selected (eq proof-three-window-mode-policy 'hybrid)
+      :help "two column mode"]
+     ["horizontal"
+      (progn
+	(customize-set-variable 'proof-three-window-mode-policy 'horizontal)
+	(proof-layout-windows))
+      :style radio
+      :selected (eq proof-three-window-mode-policy 'horizontal)
+      :help "Three column mode"]
+     ["vertical"
+      (progn
+	(customize-set-variable 'proof-three-window-mode-policy 'vertical)
+	(proof-layout-windows))
+      :style radio
+      :selected (eq proof-three-window-mode-policy 'vertical)
+      :help "One column mode"])
     ["Refresh Windows Layout" proof-layout-windows t]
     ["Toggle tooltips" proof-output-tooltips-toggle
      :style toggle
-- 
cgit v1.2.3