Re: gnome-tweak-tool tweaks

2016-06-12 Thread Jan Nieuwenhuizen
Ludovic Courtès writes: > To put it differently: do we need to apply it, or does it just serve as > an illustration for the discussion? :-) It's okay to apply it, but I suspect more coming. I think/hope davexunit found something wrt XDG_DATA_DIRS and theming, kori reported libsoup and gnome-des

Re: gnome-tweak-tool tweaks

2016-06-12 Thread Ludovic Courtès
Jan Nieuwenhuizen 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

Re: gnome-tweak-tool tweaks

2016-06-12 Thread Ludovic Courtès
iyzs...@member.fsf.org (宋文武) skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> [...] >> >>> I/O error : Permission denied >>> I/O error : Permission denied >>> Failed to write XML file; For permission problems, try rerunning as root >> >> I found that string comes from ‘shared-mime-info’, whi

Re: gnome-tweak-tool tweaks

2016-06-11 Thread Jan Nieuwenhuizen
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 ignoran

Re: gnome-tweak-tool tweaks

2016-06-10 Thread 宋文武
l...@gnu.org (Ludovic Courtès) writes: > [...] > >> I/O error : Permission denied >> I/O error : Permission denied >> Failed to write XML file; For permission problems, try rerunning as root > > I found that string comes from ‘shared-mime-info’, which is itself used > by the ‘xdg-mime-database’ ho

Re: gnome-tweak-tool tweaks

2016-06-10 Thread Ludovic Courtès
Hello! Jan Nieuwenhuizen skribis: > When starting gnome-tweak-tool, it prints a warning > > GLib-GIO-Message: Using the 'memory' GSettings backend. Your settings > will not be saved or shared with other applications. > > The patch below has gnome-tweak-tool communicate with gsettings inste

gnome-tweak-tool tweaks

2016-06-05 Thread Jan Nieuwenhuizen
Hi, When starting gnome-tweak-tool, it prints a warning GLib-GIO-Message: Using the 'memory' GSettings backend. Your settings will not be saved or shared with other applications. The patch below has gnome-tweak-tool communicate with gsettings instead of using the `memory. I'm not sending