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