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.

---
 coq/coq.el | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index d09479a6..4608f2cd 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -446,7 +446,13 @@
 
   (coq-init-syntax-table)
 
+;; font-lock
+
+  (setq font-lock-keywords coq-font-lock-keywords-1)
 
+  (and (boundp 'font-lock-always-fontify-immediately)
+       (setq font-lock-always-fontify-immediately t))
+  
   (proof-config-done)
 
 ;; Coq-specific key mappings
@@ -474,13 +480,6 @@
 
   (setq blink-matching-paren-dont-ignore-comments t)
 
-;; font-lock
-
-  (setq font-lock-keywords coq-font-lock-keywords-1)
-
-  (and (boundp 'font-lock-always-fontify-immediately)
-       (setq font-lock-always-fontify-immediately t))
-  
 ;; hooks and callbacks
   
   (add-hook 'proof-pre-shell-start-hook 'coq-pre-shell-start nil t))
-- 
cgit v1.2.3