diff options
Diffstat (limited to 'generic')
| -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 |