diff options
| author | Makarius Wenzel | 1999-09-09 13:51:19 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-09 13:51:19 +0000 |
| commit | 104b96ed7a160b16492b9fadc00f35dcdba49d94 (patch) | |
| tree | af5e22cbc2591ef42d78301ec98aa215e10d6e41 /generic/proof-shell.el | |
| parent | a69de67e4b47807b19edcd0d24d8aaa452e922f9 (diff) | |
tuned x-symbol setup (DvO);
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index a2b6a3f5..fdfb9af7 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -6,7 +6,7 @@ ;; ;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> ;; -;; $Id$ +;; proof-shell.el,v 2.70 1999/08/23 20:02:26 da Exp ;; ;; FIXME: needed because of menu definitions, which should @@ -257,6 +257,13 @@ Does nothing if proof assistant is already running." proof-goals-buffer (get-buffer-create (concat "*" proc "-goals*")) proof-response-buffer (get-buffer-create (concat "*" proc "-response*"))) + + + (proof-x-symbol-toggle (if proof-x-symbol-support 1 0)) ;; DvO + (and (featurep 'x-symbol) + (proof-x-symbol-mode-all-buffers proof-x-symbol-support-on)) ;; DvO + + (save-excursion (set-buffer proof-shell-buffer) |