If socks5 is being used as a proxy, you may configure a specific ports for the proxy using the following line in config.tdsl:
proxy { 'connections' { 'ports' = [ 1080 ] } }
Search Highlighter (On/Off)