Re: pixel saver crashing on gnome-shell 3.14
- From: Florian Müllner <fmuellner gnome org>
- To: deadal nix <deadalnix gmail com>
- Cc: gnome-shell-list <gnome-shell-list gnome org>
- Subject: Re: pixel saver crashing on gnome-shell 3.14
- Date: Sat, 11 Oct 2014 11:02:01 +0200
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.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]