diff options
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 |