Re: Options menu

[David Kastrup]

Luc Teirlinck <address@hidden> writes:

> Lennart Borgman wrote:
>
>    > 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.
>
> Any of this should _clearly_ wait till after the release.  It very
> much depends on what happens with the Custom discussion,

I don't see that at all.  Customize is involved only as far as it is a
menu entry in the "Options" menu and can be used to set options in a
different way.

This will not change at all.

> which we can not afford to re-open right now.

Correct, but I don't see how it would be relevant.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum