Exemplo n.º 1
0
 /** 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);
 }