fixed issue #37

VerifAPS · Jul 27, 2017 · de9fd1a · de9fd1a
1 parent 2d2b931
commit de9fd1a
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 17 deletions.
diff --git a/src/main/java/edu/kit/iti/formal/stvs/logic/verification/GeTeTaVerificationEngine.java b/src/main/java/edu/kit/iti/formal/stvs/logic/verification/GeTeTaVerificationEngine.java
@@ -12,24 +12,16 @@
 import edu.kit.iti.formal.stvs.model.verification.VerificationResult;
 import edu.kit.iti.formal.stvs.model.verification.VerificationScenario;
 import edu.kit.iti.formal.stvs.util.ProcessCreationException;
-
-import java.io.ByteArrayInputStream;
-import java.io.File;
-import java.io.FileInputStream;
-import java.io.FileNotFoundException;
-import java.io.FileOutputStream;
-import java.io.IOException;
-import java.io.OutputStreamWriter;
-import java.io.PrintWriter;
-import java.nio.charset.StandardCharsets;
-import java.util.List;
-import java.util.Optional;
-
 import javafx.application.Platform;
 import org.apache.commons.io.IOUtils;
 import org.slf4j.Logger;
 import org.slf4j.LoggerFactory;
 
+import java.io.*;
+import java.nio.charset.StandardCharsets;
+import java.util.List;
+import java.util.Optional;
+
 /**
  * Handles communication with the GeTeTa verification engine.
  *

diff --git a/src/main/java/edu/kit/iti/formal/stvs/view/menu/WizardManager.java b/src/main/java/edu/kit/iti/formal/stvs/view/menu/WizardManager.java
@@ -33,6 +33,10 @@ public WizardManager(WizardPage... wizardPages) {
     wizardView.getPrevious().setOnAction(this::previous);
 
     wizardStage = makeStage(wizardView);
+    wizardStage.setWidth(wizardView.getWidth());
+    wizardStage.setHeight(wizardView.getHeight());
+    wizardStage.setX(0.0);
+    wizardStage.setY(0.0);
   }
 
   protected Stage makeStage(WizardView wizardView) {
@@ -53,10 +57,10 @@ protected void onPageChanged(Observable observable) {
     }
     if (page == wizardPages.size() - 1) {
       wizardView.getNext().setOnAction(this::finish);
-      wizardView.getNext().setText("finish");
+      wizardView.getNext().setText("Finish");
     } else {
       wizardView.getNext().setOnAction(this::next);
-      wizardView.getNext().setText("next");
+      wizardView.getNext().setText("Next");
     }
   }
 

diff --git a/src/main/java/edu/kit/iti/formal/stvs/view/menu/WizardView.java b/src/main/java/edu/kit/iti/formal/stvs/view/menu/WizardView.java
@@ -16,8 +16,8 @@ public class WizardView extends VBox {
 
   private final Label titleLabel = new Label();
   private final Label pageNumberLabel = new Label();
-  private final Button next = new Button("next");
-  private final Button previous = new Button("previous");
+  private final Button next = new Button("Next");
+  private final Button previous = new Button("Previous");
   private final AnchorPane content = new AnchorPane();
 
   public WizardView() {
@@ -47,6 +47,7 @@ private AnchorPane createFooter() {
     footer.getChildren().add(bottonBox);
     AnchorPane.setRightAnchor(bottonBox, 20.0);
     AnchorPane.setTopAnchor(bottonBox, 10.0);
+    AnchorPane.setBottomAnchor(bottonBox, 10.0);
     return footer;
   }