super(line);
}
@Override
public void updateShape() {
TikzLine line = (TikzLine) f;
double x1 = line.getOrigin().getX().getValue();
double y1 = line.getOrigin().getY().getValue();
double x2 = line.getSize().getX().getValue();
double y2 = line.getSize().getY().getValue();
s = new Line2D.Double(x1, y1, x2, y2);
}