diff options
author | 1998-09-15 13:32:27 +0000 | |
---|---|---|
committer | 1998-09-15 13:32:27 +0000 | |
commit | 61f33b67ba63df3542e493a40a2d348323f2558b (patch) | |
tree | 1cfeae63b1a7bc002474fddd1665a04e30d85246 /lego/lego.el | |
parent | 3d4cacefd464d805dab26bda845bf7a5e1a5de9e (diff) |
Reimplemented proof-shell-popup-eager-annotation
These are no longer displayed in the *GOALS* buffer.
Diffstat (limited to 'lego/lego.el')
-rw-r--r-- | lego/lego.el | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lego/lego.el b/lego/lego.el index 2b83e51a..aed76bdf 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -427,8 +427,6 @@ ("lego" . lego-tags)) tag-table-alist))) - (setq font-lock-keywords lego-font-lock-keywords-1) - ;; where to find files (setq compilation-search-path (cons nil (lego-get-path))) @@ -437,6 +435,8 @@ ;; 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) @@ -475,7 +475,11 @@ proof-shell-init-cmd lego-process-config proof-analyse-using-stack nil proof-shell-process-output-system-specific lego-shell-process-output - lego-shell-current-line-width nil) + lego-shell-current-line-width nil + + ;;FIXME: we ought to set up separate font-lock instructions for + ;;the shell, the goal buffer and the script + font-lock-keywords lego-font-lock-keywords-1) (lego-init-syntax-table) |