276277278279280281282283284285286
Point p = c.getLocation(); p.y = p.y + c.getSize().y; p = c.getParent().toDisplay(p); menu.setLocation(p); openWithMenu.fill(menu, -1); menu.setVisible(true); } /** * A label provider for ResourceDecorator objects. It creates labels with a