diff options
-rw-r--r-- | coq/coq.el | 13 | ||||
-rw-r--r-- | lego/lego.el | 18 | ||||
-rw-r--r-- | plastic/plastic.el | 18 |
3 files changed, 24 insertions, 25 deletions
@@ -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)) 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) diff --git a/plastic/plastic.el b/plastic/plastic.el index 2795bd4b..dd9aa6e5 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -423,6 +423,15 @@ Given is the first SPAN which needs to be undone." (setq pbp-goal-command (concat "UNIMPLEMENTED")) (setq pbp-hyp-command (concat "UNIMPLEMENTED")) +;; font-lock + + (setq font-lock-keywords plastic-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] 'plastic-intros) @@ -463,15 +472,6 @@ Given is the first SPAN which needs to be undone." (setq blink-matching-paren-dont-ignore-comments t) -;; font-lock - - (setq font-lock-keywords plastic-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 'plastic-pre-shell-start nil t) |