Make possible using .onion hosts with SOCKS unset for Tor-routed setups

[marcovelon]

I have noticed that the current app's behavior is to hide the option Use .onion hosts in Advanced network settings when the Use SOCKS proxy option is disabled.

Use .onion hosts option should be available and configurable independently of the Use SOCKS proxy option status. This should also apply to the app's operation in this regard, depending and following on what is set in the Use .onion hosts option.

There are certain setups that allow to route the whole OS network traffic into Tor and having .onion hosts resolvable and usable system-wide. An example of such setups is Whonix Gateway (https://www.whonix.org/wiki/Whonix-Gateway) or very basic Linux configurations like this: https://andreafortuna.org/2019/06/19/tor-transparent-proxy-on-linux-a-simple-implementation/

Currently I am able to connect to any .onion host even using netcat from my Linux terminal without having to configure any proxies, because my default gateway is Whonix Gateway.

Such setups can both be relevant for desktop and mobile users (i.e. a Linux-based WiFi AP that routes clients to Tor) in data-sensitive and mission-critical operations. Any app forcing to add a SOCKS proxy just to enable Tor network connections under such environments create unnecessary overhead for such users.