diff options
| -rw-r--r-- | generic/proof-x-symbol.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index f9ad173d..3294b6a8 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -187,6 +187,13 @@ in future if we have just activated it for this buffer." (set (proof-ass-sym x-symbol-enable) nil) ; assume failure! (proof-x-symbol-initialize 'giveerrors) (set (proof-ass-sym x-symbol-enable) t))) + +;; C RAFFALLI: we need to set x-symbol-language even for the script buffer +;; and I think this is a good place ... may be a variable should control +;; an option to have x-symbol only in the output buffer but not in the script +;; buffer ? + (proof-x-symbol-set-language) + (x-symbol-mode) (proof-x-symbol-mode-associated-buffers)) |