rem: function PREF_SwitchPage( node ) 
add: function PREF_SwitchPage() 
context: function PREF_SwitchPage( node ){  // XXX 12/04/99  if( node.nodeName == "treecell" && node.getAttribute("url") != "__header" ) {    var url = document.getElementById( this.contentFrame ).getAttribute("src");    var oldTag = this.wsm.GetTagFromURL( url, "/", ".xul", false );    // extra attributes to be saved    var extras  = ["pref", "preftype", "prefstring", "prefindex"];    dump("*** going to save page data for tag: " + oldTag + "\n");    this.wsm.SavePageData( oldTag, extras, false, false );      // save data from the current page.     var newURL = node.getAttribute("url");    dump("*** newURL: " + newURL + "\n");    var newTag = this.wsm.GetTagFromURL( newURL, "/", ".xul", false );    // if the page clicked is the same one, don't bother reloading it.    if( newTag != oldTag )      document.getElementById( this.contentFrame ).setAttribute( "src", newURL );    else       return;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f1c722f0abe6f5869547c900cc70f1915413f45a/pref.js/clean/xpfe/components/prefwindow/resources/content/pref.js