rem:  widget.setUrl(url);  
add: remove_popups(widget); 
context: function set_url(widget, url) {   update_default_toolbar();  widget.setUrl(url);};
meta: 1003	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1003/bb099333734ab0337772f5b1bccf067ed571abd9/ajax_misc.js/buggy/src/javascript/ajax_misc.js