diff options
| author | David Aspinall | 1999-08-23 20:02:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 20:02:26 +0000 |
| commit | 36ed38e91299a852fa75684e7bd492a0d0a8ee84 (patch) | |
| tree | 14fff69418cde023df93e3a7afc899a140bd2217 /generic/proof-shell.el | |
| parent | dd87a4529bb3cee63301d2c6a017fd082349c16a (diff) | |
FIXME to add menu to goals buffer, to match response buffer menu.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 6d76e6b4..a2b6a3f5 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1583,6 +1583,7 @@ before and after sending the command." ;; defined-derived-mode pbp-mode initialises pbp-mode-map (setq proof-buffer-type 'pbp) ;; (define-key pbp-mode-map [(button2)] 'pbp-button-action) + ;; FIXME da: add a menu here? (erase-buffer))) (eval-and-compile |