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. --- lego/lego.el | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'lego') diff --git a/lego/lego.el b/lego/lego.el index 1f907641..d3d02c92 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -378,6 +378,15 @@ Checks the width in the `proof-goals-buffer'" (setq pbp-goal-command (concat "Pbp %s" proof-terminal-string)) (setq pbp-hyp-command (concat "PbpHyp %s" proof-terminal-string)) +;; font-lock + + (setq font-lock-keywords lego-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] 'lego-intros) @@ -405,15 +414,6 @@ Checks the width in the `proof-goals-buffer'" (setq blink-matching-paren-dont-ignore-comments t) -;; font-lock - - (setq font-lock-keywords lego-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 'lego-pre-shell-start nil t) -- cgit v1.2.3