[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: delete-selection-mode as default (WAS: Some developement questions)
From: |
Phil Sainty |
Subject: |
Re: delete-selection-mode as default (WAS: Some developement questions) |
Date: |
Sat, 8 Sep 2018 23:37:41 +1200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 |
On 08/09/18 01:41, Eli Zaretskii wrote:
>> User options can belong to multiple groups though, can't they?
>> Perhaps an initial implementation is as simple as identifying
>> such options, adding them to a common group, and linking to that
>> group from the splash screen?
>
> I suggested that in a recent thread, so I'm in favor of identifying
> these groups.
Oh, very good. I didn't remember it, but perhaps I read that.
Were there other particular user options which were mentioned when
you first raised this idea? (Do you remember which thread that
was?)
I feel like this should become a bug report, for tracking purposes.
-Phil
Re: delete-selection-mode as default (WAS: Some developement questions), Phil Sainty, 2018/09/07
RE: delete-selection-mode as default (WAS: Some developement questions), Drew Adams, 2018/09/07
Re: delete-selection-mode as default (WAS: Some developement questions), Yuri Khan, 2018/09/07
Re: delete-selection-mode as default (WAS: Some developement questions), tomas, 2018/09/07
Re: delete-selection-mode as default (WAS: Some developement questions), Noam Postavsky, 2018/09/07
Re: delete-selection-mode as default (WAS: Some developement questions), tomas, 2018/09/07