[tbb-commits] [tor-launcher/master] Bug #11772: Proxy Type menu not set correctly