Florian Müllner a74a9f6443 extensionPrefs: Use template for ExtensionsWindow ...

As the window will become more complex, it makes sense to let GtkBuilder
construct the UI and focus on the actual implementation.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968

2020-02-03 19:03:19 +01:00

..

ui

extensionPrefs: Use template for ExtensionsWindow

2020-02-03 19:03:19 +01:00

main.js

extensionPrefs: Use template for ExtensionsWindow

2020-02-03 19:03:19 +01:00