Proxy type
Websocket client and HTTPS client have proxy fields
HTTPS and websocket client set proxy
Move proxy configuration into Context
Start sync when settings change (osx)
Proxy must be configured via API
Configure proxy when starting up (osx)
fmt
Allow only numbers in prefs. port number field (osx)
Merge branch 'master' into builds
7.193