Extensive fixes for x-symbol and font-lock.

1 files changed, 3 insertions, 5 deletions

diff --git a/todo b/todo
index 23f2874e..9c8909fe 100644
--- a/todo
+++ b/todo
@@ -52,6 +52,9 @@ re-enabled), proof-toggle-scripting, new configuration options.
     - noticeable delay when loading ML files for Isabelle (fontification?)
     - clean up assert-until-point stuff at last!
 
+B Have seen "confused" bug: shows up when do lots of C-c C-n as
+  process is starting up.
+
 D Why don't PG's minor modes appear on XEmacs minor mode menu?
   (C-right on status bar)
 
@@ -60,11 +63,6 @@ A Markus's bug reminder list:
   - c-c c-c does not work reliably;
   - c-c c-a is broken;
 
-A bug in response filtering:
-   The response filtering seems to have changed again.  E.g. 'Info' button in
-   PG/isar (without a theory context) omits most of the result (commands,
-   ...).
-
 A Bugs in x-symbol support: 
    - visiting multiple files sometimes doesn't display them properly
      (setq x-symbol-8bits nil) needed?