From 23fc84152a2508f9c91cac2e79b32ec08e74ba82 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Thu, 12 Dec 1996 11:42:10 +0000 Subject: removed font-lock support for Error messages; this is now supported in the pbp package --- lego.el | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) diff --git a/lego.el b/lego.el index 6f99fbab..d959bdbf 100644 --- a/lego.el +++ b/lego.el @@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team -;; Time-stamp: <05 Dec 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <12 Dec 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -297,12 +297,6 @@ lego-id ")\\)?") 'font-lock-type-face)) "*Font-lock table for LEGO terms.") -(defvar lego-font-lock-error-messages - (list '("attempt to apply\\|with domain type\\|^to " .font-lock-error-face) - (cons (concat lego-error-regexp ".*\n") - 'font-lock-error-face)) - "Font-lock table for Error messages generated by the LEGO process.") - (defvar lego-font-lock-keywords-1 (append lego-font-lock-terms @@ -655,7 +649,6 @@ (defun lego-pbp-mode-config () (lego-common-config) - (setq font-lock-keywords - (append lego-font-lock-terms lego-font-lock-error-messages))) + (setq font-lock-keywords lego-font-lock-terms)) (provide 'lego) -- cgit v1.2.3