Extensions: Add a button to refresh the UI
Probably, Extensions needs a button to refresh the UI, (or refresh automatically the extension list when extensions change).
At least I run into two cases, I have to quit the Extension, and open it again to make things right.
-
When on startup, it's very possible that Extension launches so earlier so that it cannot get the extension list, and the UI is empty.
-
When developing the extension, the extension itself may hava some errors, like St is not import, and we can see the error with red color on the UI. And dev fix that error and restart the Gnome Shell. And the extension list of Extensions won't refresh automatically.
I will upload two screenshot respectively for the two cases when I run into them again.
Edited by nlpsuge