// File: sync_tabs.js

// Include this in inner pages loaded into an iframe that
// is managed in the parent by tabs.  It tells the parent
// to activate the tab that loads this document.

if (window.parent && window.parent.prodMenu && window.parent.prodMenu.syncTab) {
   window.parent.prodMenu.syncTab();
}