GrrProxy is a simple GUI tool to manage proxy settings in linux.