Florian Müllner 2b517e352d extensionPrefs: Use template for preference dialog ... The dialog that contains the extension's preference widget has become fairly complex over time, mostly due to the error handling. It therefore makes sense to move it to a template, just like we did for the main application window and extension rows. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1106		2020-03-23 15:39:12 +00:00
..
application.css	extensionPrefs: Use template for preference dialog	2020-03-23 15:39:12 +00:00