306307308309310311312313314315316317
@Override public void mouseDragged(MouseEvent e) { if(activeFigure != null) { TikzFigure fig = activeFigure.getTikzFigure(); Point2D p = convertToTeX(e); fig.moveTo(p.getX(), p.getY()); activeFigure.updateShape(); gui.repaint(); } }