diff options
author | Eduardo Pedroni <ep625@york.ac.uk> | 2014-03-26 21:34:37 +0000 |
---|---|---|
committer | Eduardo Pedroni <ep625@york.ac.uk> | 2014-03-26 21:34:37 +0000 |
commit | 2bf2d3ac2c578de481ecfd545d58be73c5628996 (patch) | |
tree | ec47cfeedaed5bf677cab1bc9e910782369fe127 /src/jcgp/gui/settings/GUIDoubleParameter.java | |
parent | bc4fafb9d3c60993253f7e78c10338c901de653a (diff) |
Node grid has been refactored a few times, settings pane is almost complete, console is all done.
Diffstat (limited to 'src/jcgp/gui/settings/GUIDoubleParameter.java')
-rw-r--r-- | src/jcgp/gui/settings/GUIDoubleParameter.java | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/src/jcgp/gui/settings/GUIDoubleParameter.java b/src/jcgp/gui/settings/GUIDoubleParameter.java new file mode 100644 index 0000000..d61899b --- /dev/null +++ b/src/jcgp/gui/settings/GUIDoubleParameter.java @@ -0,0 +1,33 @@ +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.DoubleParameter; + +public class GUIDoubleParameter extends GUIParameter { + + public GUIDoubleParameter(DoubleParameter parameter) { + setAlignment(Pos.CENTER_LEFT); + setSpacing(5); + + this.parameter = parameter; + + name = new Text(parameter.getName()); + 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); + + } + +} |