diff options
| author | David Aspinall | 2003-02-22 17:51:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-22 17:51:23 +0000 |
| commit | 0b37e6853f63b280a5a31f4685751f4538726dca (patch) | |
| tree | c2617080caacbca97515dbb7d0a146f92de7351c /generic/proof-script.el | |
| parent | ef6b56d6a053fa531ccd865b65f389b192bcd8d9 (diff) | |
Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 6247267e..56080211 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2625,7 +2625,10 @@ finish setup which depends on specific proof assistant configuration." ;; and losing extents. (Attempt to catch this in proof-mode by ;; looking for active scripting buffer fails; perhaps because of ;; kill buffer function) - (put major-mode 'mode-class 'pg-sticky) + ;; [NB: could do this at top level at load time] + + ;; FIXME: temporarily disable this for X-Symbol 4.45 + ;; (put major-mode 'mode-class 'pg-sticky) ;; First, define some values if they aren't defined already. (unless proof-mode-for-script |