Proxy Switch Tool

Ein ziemlich essentielles Tool, wenn man laufend bei Firefox (eigentlich geht sowas ja auf einem Mac ueber die “Umgebungen”zwischen unterschiedlichen Proxykonfigurationen wechseln muss. Einfach unten auf die Statuszeile gehen und umschalten.