2 Commits

Author	SHA1	Message	Date
Florian Müllner	5b2bdd138a	user-themes: Support session mode styles ... Session mode stylesheets are installed in gnome-shell's theme directory instead of a subdirectory of the global themes direc- tory. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/118	2020-04-17 16:33:03 +00:00
Florian Müllner	739b1e11a0	user-themes: Add preference widget ... While we don't endorse or support 3rd party theming, the extension exists and is actively used. However right now the most convenient way of setting it up is by installing Tweak Tool; give users an alternative by providing a simple settings dialog ourselves. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/117	2020-04-12 04:13:25 +02:00