[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
obviously
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).
Robert
--
- Horrible File menu, Juri Linkov, 2022/01/30
- Re: Horrible File menu, Lars Ingebrigtsen, 2022/01/30
- Re: Horrible File menu, Po Lu, 2022/01/30
- Re: Horrible File menu, Juri Linkov, 2022/01/31
- Re: Horrible File menu, Po Lu, 2022/01/31
- Re: Horrible File menu, Robert Pluim, 2022/01/31
- Re: Horrible File menu, Po Lu, 2022/01/31
- Re: Horrible File menu, Stefan Monnier, 2022/01/31
- Re: Horrible File menu,
Robert Pluim <=
- Re: Horrible File menu, Po Lu, 2022/01/31
- Re: Horrible File menu, Robert Pluim, 2022/01/31
- Re: Horrible File menu, Po Lu, 2022/01/31
- Re: Horrible File menu, Robert Pluim, 2022/01/31
- Re: Horrible File menu, Po Lu, 2022/01/31
- Re: Horrible File menu, Eli Zaretskii, 2022/01/31
- RE: [External] : Re: Horrible File menu, Drew Adams, 2022/01/31