cdd19a7773
We don't need it for anything for the time being, but reducing the differences between extension object in the gnome-shell process and in preferences still seems a good idea. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2832> |
||
---|---|---|
.. | ||
css | ||
ui | ||
extensionPrefsDialog.js | ||
extensionsService.js | ||
main.js |