- public DiagramSettings(Resource vertexScalingProperty, double vertexScalingScale, Resource edgeThicknessProperty, double edgeThicknessScale) {
- this.vertexScalingProperty = Optional.ofNullable(vertexScalingProperty);
- this.vertexScalingScale = vertexScalingScale;
- this.edgeThicknessProperty = Optional.ofNullable(edgeThicknessProperty);
- this.edgeThicknessScale = edgeThicknessScale;
+ public DiagramSettings(
+ Function1<Resource, Double> arrowLengthProperty, double arrowLengthGain, double arrowLengthBias
+ ) {
+ this.arrowLengthProperty = Optional.ofNullable(arrowLengthProperty);
+ this.arrowLengthGain = arrowLengthGain;
+ this.arrowLengthBias = arrowLengthBias;