-
Removing a stylesheet from the theme will trigger a style update. There's little point in updating the extension actors that are about to be destroyed (hopefully), so call the extension's disable() function first. GNOME/gnome-shell#2757 (cherry picked from commit 6d5e93b0)
d3934bd6