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
