On Fri, Apr 17, 2015 at 7:43 AM deadal nix <[email protected]> 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 [email protected] https://mail.gnome.org/mailman/listinfo/gnome-shell-list
