Jan Nieuwenhuizen <jann...@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’.