From 4e7c666dea33c0caabf401ae1acbbc3c990cdd39 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 3 Mar 2003 20:35:42 +0000 Subject: Fix sticky mode properties for X-Symbol --- generic/proof-x-symbol.el | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'generic/proof-x-symbol.el') diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 5c763e02..963d2d8d 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -59,8 +59,6 @@ (and window-system ; Not on a tty (progn ;; put bundled version on load path - ;; FIXME 21.2.03: bundled versionis 4.45 beta, - ;; doesn't yet work with PG. (setq load-path (cons (concat proof-home-directory "x-symbol/lisp/") @@ -208,7 +206,7 @@ in future if we have just activated it for this buffer." ;; This means that ;; x-symbol-mode must be turned on via this function for the first ;; time. - (setq x-symbol-language (proof-ass x-symbol-language)) + ;;(setq x-symbol-language (proof-ass x-symbol-language)) (x-symbol-mode) (proof-x-symbol-mode-associated-buffers)) -- cgit v1.2.3