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