Florian Müllner 7a8b636028 dbusServides/extensions: Use Adw.PreferencesWindow ... Adapt the new GNOME platform API for the upcoming 42. This makes sure that we get the latest version of the stylesheet, as well as support for the new dark mode. Using the dedicated preference API also gives extensions with more complex preferences an easier and standardized way for implementing multi-page preferences. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2012>		2022-02-08 19:11:19 +00:00
..
application.css	dbusServides/extensions: Use Adw.PreferencesWindow	2022-02-08 19:11:19 +00:00