set_extension_enabled

Description:

public void set_extension_enabled (bool value)

Change the "extension-enabled" special setting

this	a Settings instance
value	whether to enable or not the gnome-shell extension