diff options
| author | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-07 15:58:30 +0100 |
|---|---|---|
| committer | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-07 15:58:30 +0100 |
| commit | 226365bd6a0f56143ffbce7379857ff3e126fbaf (patch) | |
| tree | 4582b16a5519c94b121a369104157859dc97cba1 /src/jcgp/gui/settings/parameters/GUIDoubleParameter.java | |
| parent | 67ace66f66ffaa00e1bd1495c0d406c801e59c5c (diff) | |
Refactoring resources for (hopefully) the last time
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()) { |