Re: Options menu

[Luc Teirlinck]

David Kastrup wrote:

   Since both of these suggestions would be a change with regard
   to 21.4, if there is any contention about them (except maybe for
   better proposals for the "All Options" menu), we should rather drop
   them instead of wasting time discussing them, if the advantages are
   not seen as clearcut as I imagine.

They are not as clearcut as you imagine.

Sincerely,

Luc.