Benjamin Berg 5796a5d193 extensionPrefs: Reflect whether extension is requested in active state ... To do this, simply use the new isRequested property to properly reflect the underlying settings key rather than the actual loaded state of the extension. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/695		2019-08-30 18:56:24 +02:00
..
main.js	extensionPrefs: Reflect whether extension is requested in active state	2019-08-30 18:56:24 +02:00