From 036976428d2f41e9421acb4a683217a09939f573 Mon Sep 17 00:00:00 2001 From: Mattias Ulbrich Date: Thu, 27 Jul 2017 18:26:59 +0200 Subject: [PATCH] potential fix for #20 --- .../iti/formal/stvs/view/common/AlertFactory.java | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/src/main/java/edu/kit/iti/formal/stvs/view/common/AlertFactory.java b/src/main/java/edu/kit/iti/formal/stvs/view/common/AlertFactory.java index 9e4768d6..2eda4080 100644 --- a/src/main/java/edu/kit/iti/formal/stvs/view/common/AlertFactory.java +++ b/src/main/java/edu/kit/iti/formal/stvs/view/common/AlertFactory.java @@ -45,9 +45,9 @@ public static Alert createAlert(Throwable exception, String title, String descri return createAlert(Alert.AlertType.ERROR, title, description, exception.getMessage() /* // Decided in Issue https://github.com/VerifAPS/stvs/issues/20, that the expandable content - // should not be shown, instead it should be just logged - , stackTrace - //*/); + // should not be shown, instead it should be just logged */ + /* MU: give it another try */ + , stackTrace); } /** @@ -109,6 +109,12 @@ public static Alert createAlert(Alert.AlertType type, String title, String descr alert.getDialogPane().setId("AlertDialogPane_" + type.toString()); + // MU: possible resolution to #20 + alert.setResizable(true); + alert.resizableProperty().addListener((x,o,n) -> { + alert.setResizable(true); + }); + return alert; } }