tab.setAttribute('id',unique_id);
if (params.focus) tab.focus();
var panel = this.controller.view.panels.childNodes[ idx ];
- while ( panel.lastChild ) panel.removeChild( panel.lastChild );
+ while ( panel.lastChild ) {
+ if (typeof panel.lastChild.webNavigation != 'undefined') panel.lastChild.webNavigation.stop(3);
+ panel.removeChild( panel.lastChild );
+ }
//We need to set tab.marc_edit_changed to false here, so if the user goes
//back to the MARC edit tab from a newly retrieved record when they had
//previously edited the record that used to be in the tab then