From b737d93aabf435ae8c2b199f7ea271dc5208cd93 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Feb 2003 13:35:25 +0000
Subject: Docs; same safe-fail for MMM as X-Symbol.

---
 generic/proof-menu.el | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index d2b62d2a..9b95a9b5 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -262,14 +262,18 @@ If in three window or multiple frame mode, display two buffers."
       :active t
       :style toggle
       :selected proof-output-fontify-enable]
+
+     ;; X-Symbol and MM are minor modes which PG settings
+     ;; enable by default for PG buffers
      ["X-Symbol"  (proof-x-symbol-toggle (if x-symbol-mode 0 1))
       :active (proof-x-symbol-support-maybe-available)
       :style toggle
-      :selected (and (boundp 'x-symbol-mode) x-symbol-mode)] ;; display minor mode flag
+      :selected (and (boundp 'x-symbol-mode) x-symbol-mode)]
      ["Multiple modes" (proof-mmm-toggle (if mmm-mode 0 1))
       :active (proof-mmm-support-available)
       :style toggle
-      :selected mmm-mode] 
+      :selected (and (boundp 'mmm-mode) mmm-mode)]
+ 
      ["Toolbar" proof-toolbar-toggle
       ;; should really be split into :active & GNU Emacs's :visible
       :active (and (or (featurep 'toolbar) (featurep 'tool-bar))
-- 
cgit v1.2.3