Re: Options menu

[Lennart Borgman]

----- Original Message ----- 
From: "David Kastrup" <address@hidden>

> As I mentioned before, I think the sanest way would be to have "Save
> Options" prompt "Options have been set by Customize.  Save them too?"

Agree. This would be much less surprising than the current situation and as
far as I remember our discussions it would not be too difficult to
implement.

Maybe the prompting could be more helpful (All/Quit/Yes etc), but that is
just details.