Commit d0e7695a authored by Sarah Grebing's avatar Sarah Grebing

minor sizing issue

parent 0430bb2f
Pipeline #17208 passed with stages
in 12 minutes and 39 seconds
......@@ -188,7 +188,8 @@ public class Utils {
expContent.setMaxWidth(Double.MAX_VALUE);
expContent.add(label, 0, 0);
expContent.add(textArea, 0, 1);
alert.setWidth(400);
alert.setHeight(400);
alert.getDialogPane().setExpandableContent(expContent);
alert.showAndWait();
......@@ -247,6 +248,9 @@ public class Utils {
alert.setTitle("Proof Closed");
alert.setHeaderText("The proof is closed");
alert.setContentText("The proof using " + scriptName + " is closed");
alert.setWidth(400);
alert.setHeight(400);
/*StringWriter sw = new StringWriter();
PrintWriter pw = new PrintWriter(sw);
ex.printStackTrace(pw);
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment