Re: delete-selection-mode as default (WAS: Some developement questions)

[Phil Sainty]

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