Point newPos, currentPos; parent = (AutWindow)getParent();   if (parent.isDrawingEdge()) return;  if (event.getID()==MouseEvent.MOUSE_DRAGGED) { currentPos = this.getLocation(); newPos = new Point(); newPos.x = currentPos.x + event.getPoint().x - initial.x; newPos.y = currentPos.y + event.getPoint().y - initial.y; setLocation(newPos); parent.repaint(); }
Point newPos, currentPos;  if (parent.isShowingPopup()) return;  parent = (AutWindow)getParent();   if (parent.isDrawingEdge()) return;  if (event.getID()==MouseEvent.MOUSE_DRAGGED) { currentPos = this.getLocation(); newPos = new Point(); newPos.x = currentPos.x + event.getPoint().x - initial.x; newPos.y = currentPos.y + event.getPoint().y - initial.y; setLocation(newPos); parent.repaint(); }
    protected void processMouseMotionEvent(MouseEvent event) {	Point newPos, currentPos;	parent = (AutWindow)getParent();		// dragging disabled solange wir eine Transition zeichnen	if (parent.isDrawingEdge()) return;		if (event.getID()==MouseEvent.MOUSE_DRAGGED) {	    currentPos = this.getLocation();	    newPos = new Point();	    newPos.x = currentPos.x + event.getPoint().x - initial.x;	    newPos.y = currentPos.y + event.getPoint().y - initial.y;	    setLocation(newPos);	    parent.repaint(); // arghs!	}    }