private void addEdgeWidthControl(final List<IPropertyControl> controls) {
mSetEdgeWidth = new BooleanProperty(StyleEditorPanel.SET_RESOURCE);
controls.add(mSetEdgeWidth);
mEdgeWidth = new NumberProperty(StyleEditorPanel.EDGE_WIDTH, 0, 100, 1);
controls.add(mEdgeWidth);
final EdgeWidthChangeListener listener = new EdgeWidthChangeListener(mSetEdgeWidth, mEdgeWidth);
mSetEdgeWidth.addPropertyChangeListener(listener);
mEdgeWidth.addPropertyChangeListener(listener);
mEdgeWidth.fireOnMouseClick();
}
private void addMinNodeWidthControl(final List<IPropertyControl> controls) {
mSetMinNodeWidth = new BooleanProperty(StyleEditorPanel.SET_RESOURCE);
controls.add(mSetMinNodeWidth);
mMinNodeWidth = new NumberProperty(StyleEditorPanel.MIN_NODE_WIDTH, 1, Integer.MAX_VALUE, 1);
controls.add(mMinNodeWidth);
final MinNodeWidthChangeListener listener =
new MinNodeWidthChangeListener(mSetMinNodeWidth, mMinNodeWidth);
mSetMinNodeWidth.addPropertyChangeListener(listener);
mMinNodeWidth.addPropertyChangeListener(listener);
mMinNodeWidth.fireOnMouseClick();
}
