diff options
| author | David Aspinall | 2003-02-19 13:35:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-19 13:35:25 +0000 |
| commit | b737d93aabf435ae8c2b199f7ea271dc5208cd93 (patch) | |
| tree | a280af7d57cd94a3fe182d745cd1ed9ac1e6d6f9 /generic/proof-menu.el | |
| parent | a2f8351e0b95fc3c328eecfacae9b0c27aa626a7 (diff) | |
Docs; same safe-fail for MMM as X-Symbol.
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 8 |
1 files changed, 6 insertions, 2 deletions
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)) |