7a8b636028
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> |
||
---|---|---|
.. | ||
css | ||
ui | ||
extensionPrefsDialog.js | ||
extensionsService.js | ||
main.js |