*
* @param menu the new help menu for this menu bar
*/
public synchronized void setHelpMenu(Menu menu)
{
MenuBarPeer myPeer = (MenuBarPeer) getPeer ();
if (helpMenu != null)
{
if (myPeer != null)
helpMenu.removeNotify();
helpMenu.setParent(null);
}
helpMenu = menu;
MenuContainer parent = menu.getParent();
if (parent != null)
parent.remove(menu);
menu.setParent(this);
if (myPeer != null)
{
menu.addNotify();
myPeer.addHelpMenu(menu);
}
}