Re: pixel saver crashing on gnome-shell 3.14

[Florian Müllner <fmuellner gnome org>]

On Sat, Oct 11, 2014 at 10:46 AM, deadal nix <deadalnix 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.