Updated, mentioned Solaris bug reported by Markus.

1 files changed, 14 insertions, 0 deletions

diff --git a/todo b/todo
index 3ccb19c2..75300482 100644
--- a/todo
+++ b/todo
@@ -49,6 +49,15 @@ C Undoing comments with FSF Emacs weirdness.
 
 C Problem with startup for Coq and HOL.  See BUGS.
 
+C Solaris bugs: font locking and button enabling.
+
+  [Markus]: I can only produce this problem on Solaris, where we have
+  both a mule and non-mule version of xemacs-21.1.8.  On my Linux box
+  at home there is no problem present (using xemacs-21.1.7-mule).
+
+  Note that on the Solaris boxes the problem is already exhibited by
+  visiting a new/empty thy file: buttons are off and are not enabled
+  by typing new stuff.
 
 *** Scheduled improvements for 3.2
 
@@ -65,6 +74,11 @@ C Problem with startup for Coq and HOL.  See BUGS.
    Means old C-c C-a and C-c C-e are lost.
    Consider adding new submap for movement in proof script.
 
+**** C Improvements to customization mechanism: watch the use
+   of customize-set-variable, odd for users who think it
+   means they've changed a setting!
+   (currently: next-entity-regexps, proof-splash-settings for Isabelle).
+
 **** C Isabelle: I think show_sorts -> show_types ?