Set font-lock-keywords before calling proof-config-done.

1 files changed, 6 insertions, 7 deletions

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))