Re: Fiddling with the menus

[Stefan Monnier]

>> >> I think it would be better to ask for each option if it would be set
>> >> permanently or just temporarily.
>> > That'd be a major annoyance, I think.
>> Exactly why?
> Because I don't like to be annoyed with interactive prompts too much,
> they get in the way of fast typing.

Obviously asking via repeated prompts would be annoying.  But maybe
showing the list of options modified in a buffer where you can then
click "save" either for all of them, or for each individual one would
seem to make it sufficiently non-painful and a lot more clear.


        Stefan