From 36ed38e91299a852fa75684e7bd492a0d0a8ee84 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Aug 1999 20:02:26 +0000
Subject: FIXME to add menu to goals buffer, to match response buffer menu.

---
 generic/proof-shell.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic')

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
-- 
cgit v1.2.3