diff options
author | 1999-11-19 19:09:07 +0000 | |
---|---|---|
committer | 1999-11-19 19:09:07 +0000 | |
commit | ad3941d0d31f15a727da2824aeeffaf50479744b (patch) | |
tree | fc0117c5e69327499e651d3b587cd42273918b0c | |
parent | 3af5faaa5971dc27919cc22cbad21657e90d7c62 (diff) |
More todo's??? Surely not
-rw-r--r-- | todo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -41,6 +41,9 @@ X (Low) probably not worth spending time on A Final stuff for 3.0 release [da]: + - proof-shell-done-invisible -> proof-done-invisible again + - name change for "automatic multiple files" stuff + - proof-auto-delete-windows -> proof-delete-empty-windows - See if better fix for FSF overlay mess - document mouse functions, proof-cd, process quit timeout, X-Symbol, new menu functions for display. |