get_extension_paused


Description:

public bool get_extension_paused ()

Get the "extension-paused" setting: whether the GNOME Shell extension going away paused the tracking, which the daemon keeps under "track-extension-state"

Parameters:

this

a Settings instance

Returns:

the value of the "extension-paused" setting