Re: Turning on savehist-mode by default

[Eli Zaretskii]

> Date: Sun, 17 Dec 2023 18:55:18 +0100
> From: Juergen Fenn <jfenn@gmx.net>
> 
> 
> 
> Am 17.12.23 um 14:45 Uhr schrieb Eli Zaretskii:
> > Indeed, I think turning this on by default is only justified if a
> > majority of users do that anyway.
> 
> But how would you find out this is so?

That's why I suggested to poll users.