d3934bd685
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. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2757 (cherry picked from commit 6d5e93b00b5b4ce5315276e071a98c8db5ff6463)