Florian Müllner 6d5e93b00b 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
2020-05-13 20:10:56 +02:00
..
2020-04-06 11:24:30 -03:00
2020-05-09 19:27:33 +05:00
2020-04-28 09:04:49 +00:00
2020-05-07 14:57:12 +02:00
2020-03-31 05:43:40 +00:00
2020-03-31 05:43:40 +00:00
2020-03-27 10:39:58 +01:00
2020-04-03 12:57:01 +00:00