145146147148149150151152153154155156157158
} } @Override public void mouseExited(PInputEvent aEvent) { PPickPath focus = aEvent.getInputManager().getMouseFocus(); if (cursorPushed) { if (focus == null || focus.getPickedNode() != BoundsHandle.this) { aEvent.popCursor(); cursorPushed = false; } } }
6667686970717273747576
if (event.getButton() != MouseEvent.BUTTON1) return; newLineEnd = lineEndWell.createProjection(); PPickPath path = event.getPath(); path.pushNode(newLineEnd.getPiccolo()); path.pushTransform(newLineEnd.getPiccolo().getTransform()); }