rem: gPrefs.SetBoolPref("view_source.wrap_long_lines", true); 
add: gPrefs.setBoolPref("view_source.wrap_long_lines", true); 
context: function wrapLongLines(){  //get the first pre tag which surrounds the entire viewsource content  var myWrap = window._content.document.getElementById('viewsource');  if (myWrap.className == '')    myWrap.className = 'wrap';  else myWrap.className = '';  //since multiple viewsource windows are possible, another window could have   //affected the pref, so instead of determining the new pref value via the current  //pref value, we use myWrap.className    if (gPrefs){    try {      if (myWrap.className == ''){        gPrefs.SetBoolPref("view_source.wrap_long_lines", false);      }      else {        gPrefs.SetBoolPref("view_source.wrap_long_lines", true);      }    } catch (ex) {    }  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a981668de3d9a9dcea5588b4c97ffdd81ad087cb/viewsource.js/buggy/suite/browser/viewsource.js