Customization problems todo

1 files changed, 15 insertions, 0 deletions

diff --git a/todo b/todo
index 25f5c7a7..97f04be4 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,21 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+D  Customization mechanism: is there a way to make saved settings
+   not be overwritten by setq's in the code?  Need to think how
+   to do this, something like customize-set-variable-if-unchanged
+   Otherwise no so useful for people to use customize for
+   prover config settings (we'd need to shadow them all again for
+   each assistant for this to work smoothly).
+   Sure sign saving will fail is when you see "this option has
+   been changed outside customization buffer"
+
+A Customization mechanism and config variables: at the moment even
+  setting config variables in a hook is tricky, because
+  proof-config-done is called before the hook variables for the
+  new mode are.  Our new version of define-derived-mode needs
+  to address this.
+
 A* multiple files bug fix:
    It can happen (in Isabelle) that the prover retracts a file
    which asks for another to be retracted which is *not* on