diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-05-31 12:25:49 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-05-31 12:25:49 +0000 |
| commit | 27b4bef42033ee337e03229468942eec142dec70 (patch) | |
| tree | 5fdde567d68947f69bfcf42e65ee92439157c50c /generic | |
| parent | 0212e9b23842bf22dcdd42efa134930e9dd2b4da (diff) | |
Comments.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 1356563e..ac05ba78 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -334,9 +334,6 @@ Does nothing if proof assistant is already running." (apply 'make-comint (append (list proc (car prog-name-list) nil) (cdr prog-name-list)))) - ;; 3.5 change: buffer names become invisible (start with space). - ;; This omits them from XEmacs tabs, and display management - ;; should be better now, so that they are not easily lost. (setq proof-shell-buffer (get-buffer (concat "*" proc "*"))) (unless (proof-shell-live-buffer) @@ -347,9 +344,11 @@ Does nothing if proof assistant is already running." (setq proof-shell-buffer nil) (error "Starting process: %s..failed" proof-prog-name)) - ;; [[ FIXME: was an old patch to go in here to clean this up] - ;; ;; Create the associated buffers and set buffer variables + ;; + ;; NB: 3.6 has reverted space in front of names, so buffers + ;; are easier for users to find, was causing confusion. + ;; (let ((goals (concat "*" proc "-goals*")) (resp (concat "*" proc "-response*")) (trace (concat "*" proc "-trace*")) |