quick frontend (app): (un)set sync state on (dis)connect: when connected signal is received, a whole (re)connection has happened, meaning that everything is potentially out of sync (opened widget and contact lists), so host.sync is set accordingly. It's a temporary option, as (dis)connect is a per-profile signal, and host.sync is global. Methods similar to sync workflow must be implemented on a per-profile basis.

include MANIFEST.in sat/VERSION
global-include *.py
global-include *.ini
global-include *.po *.mo
global-include CHANGELOG COPYING* INSTALL README*
global-include *.sh
include src/sat.*
include misc
include frontends/src/jp/jp frontends/src/primitivus/primitivus
include src/bridge/bridge_constructor
global-exclude *.un~
prune src/bridge/bridge_constructor/generated