diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-06-01 14:42:33 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-01 14:42:33 +0000 |
commit | 340cf145fa203367b6c47f2ef8dffda69d2215a3 (patch) | |
tree | e5ec6e1ff4ca488cf84baa9a1ea21fc62072ce85 /todo | |
parent | 17c243a07a82f1864e4f77be8d326cfefe49ced4 (diff) |
Note about generalizing settings mechanism
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -62,6 +62,17 @@ X Solaris bugs: font locking and button enabling. **** A Doc new bits: Isabelle settings mechanism, win32 support + +**** C Settings mechanism could be generalised + + local settings: + E.g. Coq has some settings which are local: "Focus" which + it doesn't make sense to save between sessions or issue + at the start of the session. + + Ideal would be to specify context when local settings are + relevant, as a predicate. + **** B New keymap(s) for proof assistants. Added on C-c C-a Doc this change. |