From 2bf2d3ac2c578de481ecfd545d58be73c5628996 Mon Sep 17 00:00:00 2001 From: Eduardo Pedroni Date: Wed, 26 Mar 2014 21:34:37 +0000 Subject: Node grid has been refactored a few times, settings pane is almost complete, console is all done. --- src/jcgp/gui/settings/GUIDoubleParameter.java | 33 +++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 src/jcgp/gui/settings/GUIDoubleParameter.java (limited to 'src/jcgp/gui/settings/GUIDoubleParameter.java') 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); + + } + +} -- cgit v1.2.3