If you enable the proxy, Electrum will not synchronize if you are using Internet service provider network because it will only work with Tor even on mobile Electrum.
I looked under Electrum's preferences tab but didn't see proxy option, which tab to enable proxy?