diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-12-12 11:43:03 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-12-12 11:43:03 +0000 |
| commit | b3845be172baa94682a52f220e3dc3b8d32ee7d7 (patch) | |
| tree | ea88a62bffbc22f3ac4661549f2731a37dbf347c /pbp.el | |
| parent | 23fc84152a2508f9c91cac2e79b32ec08e74ba82 (diff) | |
support for highlighting Error messages in pbp-mode without using font-lock
Diffstat (limited to 'pbp.el')
| -rw-r--r-- | pbp.el | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -3,7 +3,7 @@ ;; Copyright (C) 1996 LFCS Edinburgh & INRIA Sophia Antipolis ;; Author: Yves Bertot < Yves.Bertot@sophia.inria.fr> ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> -;; Time-stamp: <05 Dec 96 tms /home/tms/elisp/pbp.el> +;; Time-stamp: <12 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 @@ -177,7 +177,10 @@ (if (re-search-backward proof-error-regexp nil t) (delete-region (- (point) 2) (point-max))) (newline 2) - (insert-string string))) + (let ((start (point))) + (insert-string string) + (put-nonduplicable-text-property start (point-max) + 'face font-lock-error-face)))) (defun pbp-send-and-remember (string) (save-excursion |