// force_tab_refresh.js // Mark Locascio // February 2, 2009 // This just forces the page to reload the tabbed header frame, which is // always called top.htm and is located in the same directory as the current // page. This should be doable from the HTML's tag, but it doesn't work // when there are other instances of JavaScript on the page (apparently). window.onLoad = parent.frames[0].location.replace('./top.htm');