set_extension_paused

Description:

public void set_extension_paused (bool value)

Change the "extension-paused" setting

this	a Settings instance
value	whether the extension going away paused the tracking