Ok thank you so much !
2014-10-11 2:02 GMT-07:00 Florian Müllner <fmuell...@gnome.org>:
> On Sat, Oct 11, 2014 at 10:46 AM, deadal nix <deadal...@gmail.com> wrote:
> > Is that key present in 3.12 ?
>
> Yes, but it is only used in the classic session. If you want to handle
> multiple versions, you can do something like:
>
> let wmSettings = new Gio.Settings({ schema_id:
> 'org.gnome.desktop.wm.preferences' });
> let overrideSettings = new Gio.Settings({ schema_id:
> 'org.gnome.shell.overrides' });
> let settings = overrideSettings.list_keys().indexOf('button-layout') >
> -1 ? overrideSettings : wmSettings;
>
> That code should be generic enough to work for all versions between
> 3.4 (when we moved to GSettings) and 3.14; you might want to support
> classic mode as well, in that case you'd need to pick the right
> override schema first.
>
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
