1 files changed, 3 insertions, 0 deletions
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.