- return new DiagramSettings(nodeScalingProperty, nodeScalingScale, edgeThicknessProperty, edgeThicknessScale);
+ DiagramSettings ds = new DiagramSettings(
+ nodeScaleProperty, nodeScaleGain, nodeScaleBias,
+ edgeThicknessProperty, edgeThicknessGain, edgeThicknessBias,
+ elementColoringFunction,
+ elementColoringGradientHue,
+ elementColoringGradientSaturation);
+ //System.out.println("new diagram settings: " + ds);
+ return ds;
+ }
+
+ private static float safeFloatProperty(ReadGraph graph, Resource r, Resource property, float defaultValue) throws DatabaseException {
+ Float d = graph.getPossibleRelatedValue(r, property, Bindings.FLOAT);
+ return d != null ? d : defaultValue;