diff options
Diffstat (limited to 'src/jcgp/gui/settings/SettingsPane.java')
| -rw-r--r-- | src/jcgp/gui/settings/SettingsPane.java | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/jcgp/gui/settings/SettingsPane.java b/src/jcgp/gui/settings/SettingsPane.java index c59244b..bad42cd 100644 --- a/src/jcgp/gui/settings/SettingsPane.java +++ b/src/jcgp/gui/settings/SettingsPane.java @@ -26,6 +26,7 @@ import jcgp.backend.modules.problem.Problem; import jcgp.backend.modules.problem.TestCaseProblem; import jcgp.backend.parameters.Parameter; import jcgp.gui.GUI; +import jcgp.gui.constants.Constants; import jcgp.gui.settings.parameters.GUIParameter; import jcgp.gui.settings.testcase.TestCaseTable; @@ -79,10 +80,10 @@ public class SettingsPane extends AnchorPane { // make the overarching container mainContainer = new VBox(8); - mainContainer.setPadding(new Insets(5, GUI.RESIZE_MARGIN, 0, 2)); + mainContainer.setPadding(new Insets(5, Constants.RESIZE_MARGIN, 0, 2)); - setMinWidth(GUI.SETTINGS_MIN_WIDTH); - setPrefWidth(GUI.SETTINGS_MIN_WIDTH); + setMinWidth(Constants.SETTINGS_MIN_WIDTH); + setPrefWidth(Constants.SETTINGS_MIN_WIDTH); // initialise all sub-divisions initialiseBaseParameters(jcgp); @@ -105,7 +106,7 @@ public class SettingsPane extends AnchorPane { AnchorPane.setTopAnchor(scroll, 0.0); AnchorPane.setBottomAnchor(scroll, 0.0); AnchorPane.setRightAnchor(scroll, 0.0); - AnchorPane.setLeftAnchor(scroll, GUI.RESIZE_MARGIN); + AnchorPane.setLeftAnchor(scroll, Constants.RESIZE_MARGIN); // add the scroll pane, all done! getChildren().add(scroll); |