diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 09:51:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 09:51:53 +0000 |
commit | 76d6b0b2b1f039549d308a0d2c478a6b05869af9 (patch) | |
tree | 78cc7e13bf290a17e7006a6d4616a8a08e36ce8f /plastic | |
parent | 8f8e9388b582ad6d3ee6e1eea842a8d443d4ce89 (diff) |
Merge changes from Version4Branch.
Diffstat (limited to 'plastic')
-rw-r--r-- | plastic/plastic.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 2dc994ab..eab0d9e3 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -393,7 +393,7 @@ Given is the first SPAN which needs to be undone." ;; font-lock - (setq font-lock-keywords plastic-font-lock-keywords-1) + (set proof-script-font-lock-keywords plastic-font-lock-keywords-1) (proof-config-done) @@ -416,7 +416,7 @@ Given is the first SPAN which needs to be undone." ("plastic" . plastic-tags)) tag-table-alist))) - (setq blink-matching-paren-dont-ignore-comments t) + (set (make-local-variable 'blink-matching-paren-dont-ignore-comments) t) ;; hooks and callbacks @@ -505,7 +505,7 @@ We assume that module identifiers coincide with file names." (concat (file-name-sans-extension match) ".l"))))) proof-shell-retract-files-regexp "forgot back through Mark \"\\(.*\\)\"" - font-lock-keywords plastic-font-lock-keywords-1 + proof-shell-font-lock-keywords plastic-font-lock-keywords-1 proof-shell-compute-new-files-list 'plastic-shell-compute-new-files-list) @@ -517,7 +517,7 @@ We assume that module identifiers coincide with file names." (defun plastic-goals-mode-config () (setq pg-goals-change-goal "Next %s;" pg-goals-error-regexp plastic-error-regexp) - (setq font-lock-keywords plastic-font-lock-terms) + (setq proof-goals-font-lock-keywords plastic-font-lock-terms) (plastic-init-syntax-table) (proof-goals-config-done)) |