diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 22:37:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 22:37:40 +0000 |
commit | 2619c37de783a302004e0c86ea1d3ed7343694f4 (patch) | |
tree | 9c26157a896071f5d5e647c37f9fc5a29127853e /lego | |
parent | d9670530c8b40b455a437821147dd6c202e8e705 (diff) |
Set right font-lock-keywords
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lego/lego.el b/lego/lego.el index dfec529f..92ef462a 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -155,7 +155,7 @@ Activates extended printing routines required for Proof General.") (eval-and-compile (define-derived-mode lego-response-mode proof-response-mode "LEGOResp" nil - (setq font-lock-keywords lego-font-lock-terms) + (setq proof-response-font-lock-keywords lego-font-lock-terms) (lego-init-syntax-table) (proof-response-config-done))) @@ -410,7 +410,8 @@ For LEGO, we assume that module identifiers coincide with file names." proof-shell-retract-files-regexp "forgot back through Mark \"\\(.*\\)\"" - font-lock-keywords lego-font-lock-keywords-1 + + proof-shell-font-lock-keywords lego-font-lock-keywords-1 proof-shell-compute-new-files-list 'lego-shell-compute-new-files-list) |