diff options
| author | Christophe Raffalli | 2002-03-21 13:32:36 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2002-03-21 13:32:36 +0000 |
| commit | d1ecaef92c676736d751dbb3e31f74d84cc9f586 (patch) | |
| tree | 23aa27962055b712ff48631973a6c66e69121792 /phox/phox.el | |
| parent | 572ccbce91f2f2fa266168583364a48393862777 (diff) | |
added hook: proof-before-fontify-output-hook
Diffstat (limited to 'phox/phox.el')
| -rw-r--r-- | phox/phox.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/phox/phox.el b/phox/phox.el index eb5295d8..88396b5b 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -206,6 +206,7 @@ font-lock-keywords phox-font-lock-keywords proof-output-fontify-enable t) (phox-sym-lock-start) + (add-hook 'proof-shell-handle-delayed-output-hook 'phox-sym-lock-font-lock-hook) (proof-response-config-done)) (define-derived-mode phox-goals-mode proof-goals-mode @@ -214,6 +215,7 @@ font-lock-keywords phox-font-lock-keywords proof-output-fontify-enable t) (phox-sym-lock-start) + (add-hook 'proof-before-fontify-output-hook 'phox-sym-lock-font-lock-hook) (proof-goals-config-done)) ;; The response buffer and goals buffer modes defined above are |