diff options
Diffstat (limited to 'src/jcgp/gui/settings/GUIIntegerParameter.java')
-rw-r--r-- | src/jcgp/gui/settings/GUIIntegerParameter.java | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/src/jcgp/gui/settings/GUIIntegerParameter.java b/src/jcgp/gui/settings/GUIIntegerParameter.java index 2bf5480..b7a23a4 100644 --- a/src/jcgp/gui/settings/GUIIntegerParameter.java +++ b/src/jcgp/gui/settings/GUIIntegerParameter.java @@ -1,23 +1,31 @@ package jcgp.gui.settings; +import javafx.geometry.Pos; import javafx.scene.control.TextField; +import javafx.scene.layout.Priority; import javafx.scene.text.Text; +import jcgp.GUI; import jcgp.parameters.IntegerParameter; public class GUIIntegerParameter extends GUIParameter { - private TextField value; - public GUIIntegerParameter(IntegerParameter parameter) { + setAlignment(Pos.CENTER_LEFT); + setSpacing(5); + this.parameter = parameter; name = new Text(parameter.getName()); - value = new TextField(String.valueOf((int) parameter.getValue())); + value = new TextField(String.valueOf(parameter.getValue())); + + ((TextField) value).setAlignment(Pos.CENTER_RIGHT); + + setHgrow(value, Priority.ALWAYS); + + name.setWrappingWidth(GUI.WRAP_WIDTH); value.setDisable(parameter.isManaged()); getChildren().addAll(name, value); - } - } |