From 28d81fd2ff90e6173087d6a2b657f72c3fa00fa2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 27 Sep 2009 18:13:15 +0000
Subject: Rotate Output Buffers: do not show this if in three window mode

---
 generic/proof-menu.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 63671371..845c0d8e 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -246,6 +246,7 @@ without adjusting window layout."
 	   proof-layout-windows]
 	  ["Rotate Output Buffers"
 	   proof-display-some-buffers
+	   :visible (not proof-three-window-enable)
 	   :active (buffer-live-p proof-goals-buffer)]
 	  ["Clear Responses"
 	   pg-response-clear-displays
-- 
cgit v1.2.3