/** Post the context menu for a given element at the given screen position. */ private void postMenu(SelectableGraphElement element, int x, int y) { element.popupMenu(x, y, graphEditor); }