Hi!
I have installed Electrum in Whonix via
https://www.whonix.org/wiki/Money#ElectrumIn the instructions it says:
"After wallet creation is complete and Electrum asks you "How do you want to connect to a server", choose "Select server manually" and press <Next>.
Now re-enable the "Select server automatically" check-box and change the Proxy setting to SOCKS5 with host: 10.152.152.10 and port: 9111. Press <Next> and you should be good to go.
If you already have Electrum set up but forgot to enable Stream Isolation, you can always go to Tools -> Network in Electrum to bring up the server and proxy settings."
I choosed select server manually and changed the proxy, host, and port settings. Im unsure of one thing. They write "Now re-enable the Select server automatically check box..." My english is not perfect and im not really sure, should i check the box "Select server automatically" when i have manually changed Proxy, host and port?
Thank you!