Awesome ! I'm going ot try this. 2015-04-16 23:59 GMT-07:00 Florian Müllner <fmuell...@gnome.org>:
> On Fri, Apr 17, 2015 at 7:43 AM deadal nix <deadal...@gmail.com> 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, since 3.16 window decorations are drawn according to the GTK+ theme > instead of a dedicated format. You can get its name with > Gtk.Settings.get_default().gtk_theme_name. >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
