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 ?
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
