diff options
| author | David Aspinall | 2002-01-15 18:37:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 18:37:11 +0000 |
| commit | 420b8d775d73650b29234a5f8c2c26ddb66c1c34 (patch) | |
| tree | 88117b250e8827bd10409c34e4339e025a7bbc88 | |
| parent | fd2e8c190ca4ec0b0c8a26e04c4804a62477c4e7 (diff) | |
Also put trace buffer in x sym mode
| -rw-r--r-- | generic/proof-x-symbol.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 21876ad7..e84ababd 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -201,7 +201,9 @@ A subroutine of proof-x-symbol-enable." ;; Response and goals buffer are fontified/decoded ;; manually in the code, configuration only sets ;; x-symbol-language. - (proof-map-buffers (list proof-goals-buffer proof-response-buffer) + (proof-map-buffers (list proof-goals-buffer + proof-response-buffer + proof-trace-buffer) (proof-x-symbol-configure)) ;; Shell has its own configuration (proof-with-current-buffer-if-exists proof-shell-buffer |