From f09828b4a6b0276d4a694c0d67f8466c13a63670 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Mar 2002 15:21:12 +0000
Subject: Added activations for frame/window controls.

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

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 61574b33..04f62155 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -218,12 +218,15 @@ If in three window or multiple frame mode, display both buffers."
      :style toggle
      :selected proof-disappearing-proofs]
     ["Three window mode" proof-dont-switch-windows-toggle
+     :active (not proof-multiple-frames-enable)
      :style toggle
      :selected proof-dont-switch-windows]
     ["Delete empty windows" proof-delete-empty-windows-toggle
+     :active (not proof-multiple-frames-enable)
      :style toggle
      :selected proof-delete-empty-windows]
     ["Multiple frames" proof-multiple-frames-toggle
+     :active (display-graphic-p)
      :style toggle
      :selected proof-multiple-frames-enable]
     ["Output highlighting" proof-output-fontify-toggle
-- 
cgit v1.2.3