get singleProxy() {
    var checkbox = document.getElementById('singleProxyForEverything');
    return checkbox.checked ? this.httpProxy : null;
  }
@see http://code.google.com/chrome/extensions/trunk/proxy.html
@return {?ProxyServer} An object containing the proxy server host, port,
    and scheme. If null, there is no single proxy.