diff options
| author | David Aspinall | 2002-03-21 15:21:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-03-21 15:21:12 +0000 |
| commit | f09828b4a6b0276d4a694c0d67f8466c13a63670 (patch) | |
| tree | e574369c3c26beb503480eeecc160f38b89c1582 /generic | |
| parent | 570a748667bea41c5e4229e1aacb93a473a9144c (diff) | |
Added activations for frame/window controls.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 3 |
1 files changed, 3 insertions, 0 deletions
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 |