diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 16:33:52 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 16:33:52 +0000 |
commit | b23714933f1ad2c5e026b083771c479b65eecffa (patch) | |
tree | 9809b66d024c0d241be29e03f424d1f8952d1fc9 /plastic | |
parent | 0d96b563682ca5e25d380e25f0e0948db7ae16d9 (diff) |
Set font-lock-keywords before calling proof-config-done.
Diffstat (limited to 'plastic')
-rw-r--r-- | plastic/plastic.el | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 2795bd4b..dd9aa6e5 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -423,6 +423,15 @@ Given is the first SPAN which needs to be undone." (setq pbp-goal-command (concat "UNIMPLEMENTED")) (setq pbp-hyp-command (concat "UNIMPLEMENTED")) +;; font-lock + + (setq font-lock-keywords plastic-font-lock-keywords-1) + +;; if we don't have the following in xemacs, zap-commas fails to work. + + (and (boundp 'font-lock-always-fontify-immediately) + (setq font-lock-always-fontify-immediately t)) + (proof-config-done) (define-key (current-local-map) [(control c) ?i] 'plastic-intros) @@ -463,15 +472,6 @@ Given is the first SPAN which needs to be undone." (setq blink-matching-paren-dont-ignore-comments t) -;; font-lock - - (setq font-lock-keywords plastic-font-lock-keywords-1) - -;; if we don't have the following in xemacs, zap-commas fails to work. - - (and (boundp 'font-lock-always-fontify-immediately) - (setq font-lock-always-fontify-immediately t)) - ;; hooks and callbacks (add-hook 'proof-pre-shell-start-hook 'plastic-pre-shell-start nil t) |