238239240241242243244245246247248
menus.removeElementAt(index); MenuBarPeer peer = (MenuBarPeer)this.peer; if (peer != null) { m.removeNotify(); m.parent = null; peer.delMenu(index); } } } /**