Я также использую прокси-сервер, и мне нужно было установить параметры прокси-сервера специально для Synergy и менеджера обновлений (используя Synergy: Configuration-> Preferences-> Network). Там нет возможности использовать «системные настройки», и даже если он должен работать, изменение прокси-сервера на системном уровне никогда не позволяло мне обновлять: - (
Меня интересует решение что заставляет его работать: -)