872c84a1c3
In order to turn the extensions-prefs tool into a proper GNOME app, it should follow basic app patterns, so add a primary menu and about dialog. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968 |
||
---|---|---|
.. | ||
extensions-window.ui |