From b7c21d40c759fd73ee20de9a13178a480ccebd78 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 13 Sep 2002 13:21:40 +0000 Subject: Updated. --- todo | 3 +++ 1 file changed, 3 insertions(+) diff --git a/todo b/todo index d2751f87..747003e6 100644 --- a/todo +++ b/todo @@ -32,6 +32,9 @@ X (Low) e.g. probably not worth spending time on ** 2. Things to do in the generic interface +*** A fix display anomaly for Isar output with shrink windows: + display splits window unexpectedly. + *** B document and simplify proof-script-span-context-menu-extensions *** C Add output highlighting to minibuffer in proof-shell-message. -- cgit v1.2.3