From 4a82262f4bf480637589fdd1e96cb471652c196f Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Mon, 27 Jan 1997 13:54:13 +0000 Subject: improved highlighting of error messages --- pbp.el | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/pbp.el b/pbp.el index 862be921..8505c785 100644 --- a/pbp.el +++ b/pbp.el @@ -3,7 +3,7 @@ ;; Copyright (C) 1996 LFCS Edinburgh & INRIA Sophia Antipolis ;; Author: Yves Bertot < Yves.Bertot@sophia.inria.fr> ;; Maintainer: LEGO Team -;; Time-stamp: <12 Dec 96 tms /home/tms/elisp/pbp.el> +;; Time-stamp: <13 Dec 96 tms /home/tms/elisp/pbp.el> ;; Reference: Yves Bertot and Laurent Théry ;; A Generic Approach to Building User Interfaces for ;; Theorem Provers @@ -179,8 +179,16 @@ (newline 2) (let ((start (point))) (insert-string string) + + ;; tms - I don't really understand what this is doing, but omitting it + ;; will not give any fontification via font-lock + (font-lock-fontify-syntactically-region start (point-max)) + + ;; display complete region in red (put-nonduplicable-text-property start (point-max) - 'face font-lock-error-face)))) + 'face font-lock-error-face) + ;; fontify according to the appropriate font-lock table + (font-lock-fontify-keywords-region start (point-max))))) (defun pbp-send-and-remember (string) (save-excursion -- cgit v1.2.3