@Override public void handleJavaMouseEvent(MouseEvent mouseEvent) { super.handleJavaMouseEvent(mouseEvent); if (xtext != null) { mouseEvent.setSource(xtext); int id = mouseEvent.getID(); if (id == MouseEvent.MOUSE_DRAGGED || id == MouseEvent.MOUSE_MOVED) xtext.processMouseMotionEventImpl(mouseEvent); else xtext.processMouseEventImpl(mouseEvent); } }