diff options
| author | Thomas Kleymann | 1998-10-13 11:12:26 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-13 11:12:26 +0000 |
| commit | eee32cf272ec5c896f120e23aa74eb039ee99fa2 (patch) | |
| tree | 9283e0a02524e685238bdaafc113257204be2415 | |
| parent | 51ce05628bca59279dcff7baea1ca5eb4bf28930 (diff) | |
Disabled font-lock in process buffer
| -rw-r--r-- | generic/proof.el | 13 | ||||
| -rw-r--r-- | todo | 4 |
2 files changed, 12 insertions, 5 deletions
diff --git a/generic/proof.el b/generic/proof.el index 047cf614..6e7f236c 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -1197,7 +1197,12 @@ Returns the string (with faces) in the specified region." (delete-region start end) (insert string) (setq end (+ start (length string))) - (font-lock-fontify-region start end) + ;; This doesn't work with FSF Emacs 20.2's version of Font-lock + ;; because there are no known keywords in the process buffer + ;; Never mind. In a forthcoming version, the process buffer will + ;; not be tempered with. Fontification will take place in a + ;; separate response buffer. + ;; (font-lock-fontify-region start end) (font-lock-append-text-property start end 'face append-face) (buffer-substring start end)))) @@ -2684,6 +2689,12 @@ finish setup which depends on specific proof assistant configuration." (easy-menu-add proof-mode-menu proof-mode-map) ;; For fontlock + + ;; setting font-lock-defaults explicitly is required by FSF Emacs + ;; 20.2's version of font-lock + (make-local-variable 'font-lock-defaults) + (setq font-lock-defaults '(font-lock-keywords)) + ;; FIXME (da): zap commas support is too specific, should be enabled ;; by each proof assistant as it likes. (remove-hook 'font-lock-after-fontify-buffer-hook 'proof-zap-commas-buffer t) @@ -14,10 +14,6 @@ X (Low) probably not worth wasting time on * This is a list of things which need doing in the generic interface ==================================================================== -A Bug in proof-shell-handle-output run on FSF Emacs, gives error - (wrong-type-argument markerp nil) when font-lock-fontify-region - is called to fontify the shell buffer. - B proof-issue-goal should refuse to work when a proof is in progress. Similarly proof-issue-save should refuse to work when a proof hasn't been completed! |