get_extension_enabled

Description:

public bool get_extension_enabled ()

Get the "extension-enabled" special setting

this	a Settings instance

Whether the gnome-shell extension is enabled or not