pixel saver crashing on gnome-shell 3.14

2014-10-10 Thread deadal nix
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-layo

Re: pixel saver crashing on gnome-shell 3.14

2014-10-11 Thread deadal nix
Is that key present in 3.12 ? 2014-10-11 1:32 GMT-07:00 Florian Müllner : > On Sat, Oct 11, 2014 at 6:47 AM, deadal nix wrote: > > This is generating the following error: > > GLib-GIO-ERROR **: Settings schema 'org.gnome.shell.overrides' does not > > con

Re: pixel saver crashing on gnome-shell 3.14

2014-10-11 Thread deadal nix
Ok thank you so much ! 2014-10-11 2:02 GMT-07:00 Florian Müllner : > On Sat, Oct 11, 2014 at 10:46 AM, deadal nix 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 somet

Changing desktop trigger hover and elemnt appear hovered.

2015-01-16 Thread deadal nix
Hi all, I'm the author of a gnome shell extension. In this extension, I hook a callback on the app menu when it is hovered. It works well, except when I change desktop. First, the hover event is triggered when changing desktop, which seems very weird. Even weirder, calling get_hover on the app me

Re: Changing desktop trigger hover and elemnt appear hovered.

2015-01-23 Thread deadal nix
ping ping ping ? 2015-01-16 21:45 GMT-08:00 deadal nix : > Hi all, I'm the author of a gnome shell extension. > > In this extension, I hook a callback on the app menu when it is hovered. > It works well, except when I change desktop. > > First, the hover event is triggere

Re: Changing desktop trigger hover and elemnt appear hovered.

2015-01-28 Thread deadal nix
pong ! 2015-01-23 23:18 GMT-08:00 deadal nix : > ping ping ping ? > > 2015-01-16 21:45 GMT-08:00 deadal nix : > > Hi all, I'm the author of a gnome shell extension. >> >> In this extension, I hook a callback on the app menu when it is hovered. >> It wo

Get infos about the theme from an extension

2015-04-16 Thread deadal nix
Hi, All is in the title. It used to be possible to do Meta.prefs_get_theme() , but since 3.16, that does not work. It breaks an extension I'm maintaining (pixel saver) . I use this information to load different CSS for the extension so that it fit the theme of the user. What are my options ? ___

Re: Get infos about the theme from an extension

2015-04-17 Thread deadal nix
Awesome ! I'm going ot try this. 2015-04-16 23:59 GMT-07:00 Florian Müllner : > On Fri, Apr 17, 2015 at 7:43 AM deadal nix wrote: > >> All is in the title. It used to be possible to do Meta.prefs_get_theme() >> , but since 3.16, that does not work. >> > > Yes