diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:35:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:35:42 +0000 |
| commit | 4e7c666dea33c0caabf401ae1acbbc3c990cdd39 (patch) | |
| tree | b2a7988e081c0ffe09ac4e85816816eed366706c /generic/proof-x-symbol.el | |
| parent | 5eefbc72733e95eaf781af956ba5bc5f9e4f06c4 (diff) | |
Fix sticky mode properties for X-Symbol
Diffstat (limited to 'generic/proof-x-symbol.el')
| -rw-r--r-- | generic/proof-x-symbol.el | 4 |
1 files changed, 1 insertions, 3 deletions
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)) |