Proxy Type menu not set correctly

In Tor Launcher, after configuring a proxy, exiting the browser, and then coming back in, the Proxy Type menu is not set. It looks like this is a regression that occurred quite a while ago. Fix coming soon.