Extensions list does not update
Submitted by mar..@..il.com
Link to original bug (#784374)
Description
Gnome 3.24.2, Xorg session, Manjaro Linux.
-
After installing an extension from a OS package manager (they're placed in /usr/share/gnome-shell/extensions/), the extensions list isn't updated. Restarting Tweak Tool does not help. Restarting shell (Alt+f2 + "r") and restarting Tweak Tool helps.
-
After disabling all extensions and reenabling them (by main switch on a window bar), the extensions on/off state is not up to date (all are presented as inactive). Restarting Tweak Tool helps.
In both cases the expected behaviour is to see refreshed extensions list with their current state.