Hi all,
I'm the main dev of pixel saver, a gnome shell extension. It is crashing
gnome-shell 3.14 .
The crux of the problem seems to be fetching infos from gio:
const DCONF_META_PATH = 'org.gnome.shell.overrides';
let order = new Gio.Settings({schema_id:
DCONF_META_PATH}).get_string('button-layout');
This is generating the following error:
GLib-GIO-ERROR **: Settings schema 'org.gnome.shell.overrides' does not
contain a key named 'button-layout'
And soon after this, gnome-shell hard crashes.
$ gsettings get org.gnome.shell.overrides button-layout
tells me the key do not exists. However, I can go look for it in
dconf-editor and windows seems to react to it (BTW, it is now taken into
account in the title bar, thank you guys !)
The problem is not specific to my installation, as various users report the
same thing.
Any idea what might be going on ? This extension is fairly popular and is
affecting gnome users.
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
