public void setStroke(Stroke s) { strokeIndex = StrokeGenerator.getStrokeIndex(s); }
public void setDelimiterLineStroke(Stroke s) { delimiterStrokeIndex = StrokeGenerator.getStrokeIndex(s); }