From 46620558210c52a6ca510a77f2ae3bfc48941a05 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 23 Oct 1998 09:50:24 +0000 Subject: Replaced remaining face defs with defface calls. Removed font-lock- with proof- so we know where things come from and won't break future font locks. --- generic/proof-shell.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'generic/proof-shell.el') diff --git a/generic/proof-shell.el b/generic/proof-shell.el index eab8dc17..de92f427 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -400,7 +400,7 @@ error message. At the end it calls `proof-shell-handle-error-hook'. " ;; detected by a regular expression. (proof-shell-handle-output proof-shell-error-regexp proof-shell-annotated-prompt-regexp - 'font-lock-error-face) + 'proof-error-face) (save-excursion (display-buffer proof-shell-buffer) (beep) @@ -656,7 +656,7 @@ arrive." (let ((str (proof-shell-handle-output proof-shell-eager-annotation-start proof-shell-eager-annotation-end - 'font-lock-eager-annotation-face)) + 'proof-eager-annotation-face)) file module) (proof-message str))) @@ -717,7 +717,7 @@ arrive." (t (proof-message message) (proof-response-buffer-display message - 'font-lock-eager-annotation-face)))) + 'proof-eager-annotation-face)))) (defun proof-shell-process-urgent-messages (str) "Scan the process output for urgent messages. -- cgit v1.2.3