[tor-commits] [tor-launcher/master] Bug 15145: Visually distinguish "proxy" and "bridge" screens.