public ProtegeInputEventHandler(ProtegeGraphModel graphModel, AbstractGraph graph) { this.graphModel = graphModel; this.graph = graph; PInputEventFilter filter = new PInputEventFilter(); filter.rejectAllEventTypes(); filter.setAcceptsMousePressed(true); filter.setAcceptsMouseMoved(true); this.setEventFilter(filter); }
public KeyHandlerDelegate(PCamera camera) { this.camera = camera; PInputEventFilter filter = new PInputEventFilter(); filter.rejectAllEventTypes(); filter.setAcceptsKeyPressed(true); filter.setAcceptsKeyReleased(true); filter.setAcceptsKeyTyped(true); setEventFilter(filter); }
public SelectionHandler(NodeCollection selectedNodes) { super(); this.selectedNodes = selectedNodes; PInputEventFilter filter = new PInputEventFilter(); filter.rejectAllEventTypes(); filter.setOrMask(InputEvent.BUTTON1_MASK | InputEvent.BUTTON3_MASK); filter.setAcceptsMousePressed(true); setEventFilter(filter); }
public ZoomHandler(PCamera camera) { super(); //this.camera = camera; zoom = new PNormalZoomHandler(camera); PInputEventFilter filter = new PInputEventFilter(); filter.rejectAllEventTypes(); filter.setAcceptsKeyPressed(true); filter.setAcceptsKeyReleased(true); filter.setAcceptsMouseWheelRotated(true); setEventFilter(filter); }
public GraphPopupListener() { this.nodeMenu = new JPopupMenu("Graph Node Context Menu"); this.arcMenu = new JPopupMenu("Graph Arc Context Menu"); this.canvasMenu = new JPopupMenu("Graph Canvas Context Menu"); // this is set in the beforeShowPopup() menu this.popup = null; PInputEventFilter filter = new PInputEventFilter(); filter.rejectAllEventTypes(); filter.setAcceptsMousePressed(true); filter.setAcceptsMouseReleased(true); setEventFilter(filter); }
public HighlightHandler() { super(); PInputEventFilter filter = new PInputEventFilter(); filter.rejectAllEventTypes(); filter.setAcceptsMouseMoved(true); setEventFilter(filter); }
public FocusOnExtentsHandler(AnimationHandler handler) { super(); this.handler = handler; // only accept mouse clicks PInputEventFilter filter = new PInputEventFilter(); filter.rejectAllEventTypes(); filter.setAcceptsMouseClicked(true); setEventFilter(filter); }
public CameraKeyPanHandler(PCamera camera) { super(); this.panHandler = new PPanHandler(camera); PInputEventFilter filter = new PInputEventFilter(); filter.rejectAllEventTypes(); filter.setAcceptsKeyPressed(true); filter.setAcceptsKeyReleased(true); filter.setAcceptsKeyTyped(true); setEventFilter(filter); }