From 340cf145fa203367b6c47f2ef8dffda69d2215a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 14:42:33 +0000
Subject: Note about generalizing settings mechanism

---
 todo | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/todo b/todo
index 3f2c92f6..54437aa9 100644
--- a/todo
+++ b/todo
@@ -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.
-- 
cgit v1.2.3