From b23714933f1ad2c5e026b083771c479b65eecffa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Nov 1999 16:33:52 +0000
Subject: Set font-lock-keywords before calling proof-config-done.

---
 plastic/plastic.el | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'plastic')

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)
-- 
cgit v1.2.3