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