One point worth noticing : since some time now (don't remember version), electrum client doesn't connect to a single server, but to more.
Solution?
1) How can you strictly use only ".onion" servers?
2) Can you use multiple .onion servers simultaneously? By default, you can only enter one in the box.

3) Can you disable the "normal" servers somehow?