193194195196197198199200201202203204205
} } @Override public void windowActivated() { final XJMainMenuBar mmb = getMainMenuBar(); if(mmb != null) { mmb.refresh(); } if(hasDocuments()) { reloadDocuments(); }