Florian Müllner 2703eed446 extensionPrefs: Simplify state change handling ... The new `ExtensionStateChanged` signal already passes the changed extension object, no need to request it again with `GetExtensionInfo`. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/873		2019-12-05 15:24:34 +00:00
..
main.js	extensionPrefs: Simplify state change handling	2019-12-05 15:24:34 +00:00