Re: Enhancements to options menu (was Re: Reveal mode)

[Stefan Monnier]

>    > As for the fringes, I would rather not advertise the ability to
>    > remove them (to new users).
> Well, but this was the most asked question just after releasing 21.1... So
> users (and even novice users) wanted to remove it.

I'm not sure whether those users were novices, but even if they were,
that's not relevant.  My point is that fringes are good and if a novice
removes them because she thinks she doesn't need them, she'll probably
hit problems later on because of it.
We don't break Java's memory safety just because some novice Java
programmers might ask "how do I do pointer arithmetic".


        Stefan