1 files changed, 3 insertions, 0 deletions
diff --git a/todo b/todo
index 9cf57aac..bd03a6c7 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
 
+*** C Add output highlighting to minibuffer in proof-shell-message.
+    (Quite tricky to get text properties onto text in minibuffer...)
+
 *** X A more flexible way of choosing which instance of PG we want,
     allowing matches on the buffer before choosing the mode function.