diff options
author | 2003-02-19 14:17:31 +0000 | |
---|---|---|
committer | 2003-02-19 14:17:31 +0000 | |
commit | 7ffb938dd2675b95505c410df3b153b82ca7aea1 (patch) | |
tree | 880e7a54b50bd10bb70b9e1b82ced6a4c130c108 /generic/pg-response.el | |
parent | 58f90bc4befb95048be676e912a5e6446ab03027 (diff) |
Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 111a0f45..6f555513 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -47,7 +47,7 @@ (defun proof-response-config-done () "Complete initialisation of a response-mode derived buffer." (proof-font-lock-configure-defaults nil) - (proof-x-symbol-configure)) + (proof-x-symbol-config-output-buffer)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |