Re: gnome-tweak-tool tweaks

[ludo@gnu.org (Ludovic Courtès)]

Jan Nieuwenhuizen <janneke@gnu.org> skribis:

> Ludovic Courtès writes:
>
>>> The patch below has gnome-tweak-tool communicate with gsettings instead
>>> of using the `memory.  I'm not sending it as a fix yet because 
>>> gnome-tweak-tool does not list any themes, as davexunit reported.
>>
>> So does the patch fix something?  (Sorry, I’m quite ignorant about
>> GNOMEy things.)
>
> That depends on how you look at it.  It takes away the cause of the
> warning message, so now settings are sent to gnome-settings instead
> of kept in-memory.  However, I'm still not sure that gnome-settings
> saves its settings, which should happen upon logout which we do not
> have yet.
>
> So one chain in the link is fixed, but I think there is still another
> link that is broken.

To put it differently: do we need to apply it, or does it just serve as
an illustration for the discussion?  :-)

Ludo’.