diff options
author | 1996-12-12 11:42:10 +0000 | |
---|---|---|
committer | 1996-12-12 11:42:10 +0000 | |
commit | 23fc84152a2508f9c91cac2e79b32ec08e74ba82 (patch) | |
tree | 13485a7466eecf856b13b43098c4a3715937e0bd /lego.el | |
parent | 3f65485ad4247b786ee034aede4799ed75462928 (diff) |
removed font-lock support for Error messages; this is now supported in
the pbp package
Diffstat (limited to 'lego.el')
-rw-r--r-- | lego.el | 11 |
1 files changed, 2 insertions, 9 deletions
@@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> -;; 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) |