rem: nonprefs = torbutton_get_prefbranch('network.proxy.'); 
add: liveprefs = torbutton_get_prefbranch('network.proxy.'); 
context: function torbutton_restore_nontor_settings(){  var nonprefs = false;  var savprefs = false;  nonprefs = torbutton_get_prefbranch('network.proxy.');  savprefs = torbutton_get_prefbranch('extensions.torbutton.saved.');  if (!nonprefs || !savprefs) return;  nonprefs.setIntPref('type',          savprefs.getIntPref('type'));  nonprefs.setCharPref('http',         savprefs.getCharPref('http_proxy'));  nonprefs.setIntPref('http_port',     savprefs.getIntPref('http_port'));  nonprefs.setCharPref('ssl',          savprefs.getCharPref('https_proxy'));  nonprefs.setIntPref('ssl_port',      savprefs.getIntPref('https_port'));  nonprefs.setCharPref('ftp',          savprefs.getCharPref('ftp_proxy'));  nonprefs.setIntPref('ftp_port',      savprefs.getIntPref('ftp_port'));  nonprefs.setCharPref('gopher',       savprefs.getCharPref('gopher_proxy'));  nonprefs.setIntPref('gopher_port',   savprefs.getIntPref('gopher_port'));  nonprefs.setCharPref('socks',        savprefs.getCharPref('socks_host'));  nonprefs.setIntPref('socks_port',    savprefs.getIntPref('socks_port'));  nonprefs.setIntPref('socks_version', savprefs.getIntPref('socks_version'));  try { // ff-0.9 doesn't have share_proxy_settings    nonprefs.setBoolPref('share_proxy_settings', savprefs.getBoolPref('share_proxy_settings'));  } catch(e) {}  if (torbutton_check_socks_remote_dns())    nonprefs.setBoolPref('socks_remote_dns',     savprefs.getBoolPref('socks_remote_dns'));}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/8814fc4fb8d2f623f6ab8c0afc06b73742ad759b/torbutton.js/buggy/src/chrome/content/torbutton.js