From fe99b102e8809974f791c992a5d643084fcdd4ce Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 May 1999 13:40:53 +0000
Subject: todo for reorganizing menus.

---
 todo | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/todo b/todo
index 1e2d01cc..af5b4f24 100644
--- a/todo
+++ b/todo
@@ -115,6 +115,9 @@ B Check matching code carefully, in view of bug reported (now fixed)
   word matching is based on whitespace constituents or non-word
   constituents.  [6 hrs]
 
+C Reorganize menus in a better way.  Have generic scripting commands
+  for keyboard or menu/toolbar use. (2hrs)
+    
 C Implement proof-auto-retract idea.  (4hrs)
 
 C Make and test generic versions of <..>-goal-command-p, 
-- 
cgit v1.2.3