diff options
Diffstat (limited to 'src/jcgp/gui/settings/parameters/GUIDoubleParameter.java')
| -rw-r--r-- | src/jcgp/gui/settings/parameters/GUIDoubleParameter.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jcgp/gui/settings/parameters/GUIDoubleParameter.java b/src/jcgp/gui/settings/parameters/GUIDoubleParameter.java index eecff2d..4a8e0e1 100644 --- a/src/jcgp/gui/settings/parameters/GUIDoubleParameter.java +++ b/src/jcgp/gui/settings/parameters/GUIDoubleParameter.java @@ -34,7 +34,7 @@ public class GUIDoubleParameter extends GUIParameter { name.wrappingWidthProperty().bind(widthProperty().divide(2)); - ((TextField) valueControl).setEditable(!parameter.isMonitor()); + ((TextField) valueControl).setDisable(parameter.isMonitor()); // bind if monitor, else set changelistener if (parameter.isMonitor()) { |