From 7ffb938dd2675b95505c410df3b153b82ca7aea1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 19 Feb 2003 14:17:31 +0000 Subject: Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. --- generic/pg-goals.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/pg-goals.el') diff --git a/generic/pg-goals.el b/generic/pg-goals.el index 45a3b8a0..9c7365bc 100644 --- a/generic/pg-goals.el +++ b/generic/pg-goals.el @@ -74,7 +74,7 @@ May enable proof-by-pointing or similar features. (defun proof-goals-config-done () "Initialise the goals buffer after the child has been configured." (proof-font-lock-configure-defaults nil) - (proof-x-symbol-configure)) + (proof-x-symbol-config-output-buffer)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -- cgit v1.2.3