diff options
| author | David Aspinall | 2003-02-19 11:55:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-19 11:55:14 +0000 |
| commit | d20c700fb74490a3f3287a963e33c4b8bb6459ee (patch) | |
| tree | 8b9ee2addb4e6b5ba74511df8970bbce28f429eb /generic/proof-script.el | |
| parent | 4c1b7e66cd1844149963d42855e55f65c5109204 (diff) | |
Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or
off minor modes in buffers automatically. Now the PG setting controls
the "default global for PG buffers" for each of these. The menu
checkbox simply displays the current minor mode status. When this
is changed, the PG global mode follows suit. We do not try to
apply the change to all PG buffers (30 minutes of fontification!).
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 589abe15..6247267e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -13,7 +13,8 @@ (require 'span) ; abstraction of overlays/extents (require 'pg-user) ; user-level commands (require 'proof-menu) ; menus for script mode - +(require 'proof-x-symbol) ; x-symbol (maybe put on automode list) +(require 'proof-mmm) ; mmm (ditto) ;; Nuke some byte-compiler warnings @@ -2494,15 +2495,8 @@ assistant." ;; Fontlock support. ;; ;; Assume font-lock case folding follows proof-case-fold-search - (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search) + (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search)) - ;; Maybe turn on x-symbol mode and MMM mode - (proof-x-symbol-mode) - ;; FIXME: slight bugginess here with MMM mode/font-lock: visiting - ;; a fresh file leaves the progress bar up. Perhaps turning - ;; on MMM here is wrong, is should happen automatically? - (proof-mmm-enable)) - |