From 0b37e6853f63b280a5a31f4685751f4538726dca Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 22 Feb 2003 17:51:23 +0000
Subject: Temporarily disable mode-class prop on script major mode (for X-sym
 4.45beta)

---
 generic/proof-script.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

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
-- 
cgit v1.2.3