diff options
author | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-18 09:08:41 +0100 |
---|---|---|
committer | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-18 09:08:41 +0100 |
commit | 88314e71f908efcfc38da3b800319c171a6ccceb (patch) | |
tree | df42e3af2652dff815d1269bb81906a7af51e089 /src/jcgp/gui/settings/parameters | |
parent | e7d7e8506a511d78f9e323ac09587f79ad503f42 (diff) |
Added parsers, did a bit of testing, switched to java8
Diffstat (limited to 'src/jcgp/gui/settings/parameters')
-rw-r--r-- | src/jcgp/gui/settings/parameters/GUIParameter.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jcgp/gui/settings/parameters/GUIParameter.java b/src/jcgp/gui/settings/parameters/GUIParameter.java index a8a8c4a..159e709 100644 --- a/src/jcgp/gui/settings/parameters/GUIParameter.java +++ b/src/jcgp/gui/settings/parameters/GUIParameter.java @@ -86,7 +86,7 @@ public abstract class GUIParameter<T> extends HBox { // the tooltip is the hover-over label containing status information, when appropriate tooltip = new Tooltip(); - tooltip.setStyle("-fx-background-color: white; -fx-border-color: black; .page-corner {-fx-background-color: transparent;}"); + tooltip.setStyle("-fx-background-color: white; -fx-border-color: black;"); tooltip.setSkin(null); valueControl = makeControl(); |