[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Horrible File menu

From: Robert Pluim
Subject: Re: Horrible File menu
Date: Mon, 31 Jan 2022 14:16:24 +0100

>>>>> On Mon, 31 Jan 2022 08:04:35 -0500, Stefan Monnier 
>>>>> <monnier@iro.umontreal.ca> said:

    >> If anything needs deleting from that menu, itʼs 'Make frame on
    >> display'.  Thatʼs useful to a vanishingly small percentage of users,
    >> and I doubt they'd use the menu to do it.

    Stefan> But that's also a nice way to advertise this feature that's 
    Stefan> not shared by very many applications.

My conditional 'if' was obviously not conditional enough. "If it is
decided that the length of that menu needs to be reduced by
sacrificing an entry, then this is the one that should go". But my
opinion on menus should not be given great weight, given that I donʼt
use them (except when I accidentally hit F10).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]