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 /lego | |
| parent | 0d96b563682ca5e25d380e25f0e0948db7ae16d9 (diff) | |
Set font-lock-keywords before calling proof-config-done.
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego.el | 18 |
1 files changed, 9 insertions, 9 deletions
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) |