Commit 51ea4b27 authored by Alexander Weigl's avatar Alexander Weigl

Merge branch 'fmVersion' of git.scc.kit.edu:xt9634/ProofScriptParser into fmVersion

* 'fmVersion' of git.scc.kit.edu:xt9634/ProofScriptParser:
  minor sizing issue
parents 86619428 d0e7695a
Pipeline #17212 passed with stages
in 9 minutes and 10 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.setHeight(600);
......@@ -250,6 +251,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