rem: if(container=="main") update_main(url); else set_url(c,url); 
add: if(container=="main") { /* Store the old url in the history */ if(!c.pending && c.href) { push_on_history("main",c.href); }; };   c.pending = false  set_url(c,url); 
context: function update_container(container,url) {  var c= container;    if(dojo.lang.isString(container))    c = dojo.widget.getWidgetById(container);    // We must be operating on contentpanes  if(c.widgetType!="ContentPane") return;  remove_popups(c);  // If we are actually updating the main frame, we handle it  // specially so the history works etc.  if(container=="main")     update_main(url);  else    set_url(c,url);  update_default_toolbar();};
meta: 1003	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1003/a442c4202861e88ab6a933d73e458cb5da5c7e0d/ajax_misc.js/clean/src/javascript/ajax_misc.js