Florian Müllner d3934bd685 extensionSystem: Disable extension before unloading stylesheet
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)
2020-05-13 19:15:37 +00:00
..
2020-04-06 14:37:35 -03:00
2020-05-11 13:34:36 +02:00
2020-02-10 22:30:52 +00:00
2019-11-11 19:25:14 +00:00
2020-04-27 22:04:16 +00:00
2020-05-07 13:10:26 +00:00
2019-11-11 19:25:14 +00:00
2020-03-27 10:39:58 +01:00
2020-04-03 15:47:01 +02:00