From 618504240a2430f899c684a2ed847b40ec3f89c6 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Tue, 12 Nov 1996 18:20:45 +0000 Subject: improved lego-outline-regexp --- lego.el | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'lego.el') diff --git a/lego.el b/lego.el index 4491b7fe..ab19b054 100644 --- a/lego.el +++ b/lego.el @@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team -;; Time-stamp: <10 Nov 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <12 Nov 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -108,10 +108,11 @@ (defvar lego-goal-regexp "?[0-9]+ : ") -(defvar lego-outline-regexp - (ids-to-regexp - '("\\*" "Discharge" "Freeze" "Goal" "Module" "\\[" "Record" "Inductive" - "Unfreeze"))) +(defvar lego-outline-regexp + (concat "[[*]\\|" + (ids-to-regexp + '("Discharge" "Freeze" "Goal" "Module" "Record" "Inductive" + "Unfreeze")))) (defvar lego-outline-heading-end-regexp ";\\|\\*)") @@ -300,7 +301,7 @@ (list (concat "^ \\(" lego-id "\\) = ... :") 1 'font-lock-function-name-face) - (list (concat "^ \\(" lego-id "\\) : ") 1 + (list (concat "^ \\(" lego-id "\\) [:|] ") 1 'font-lock-declaration-name-face) (list (concat "\\ \\(" lego-id "\\) [:|]") 1 -- cgit v1.2.3