From 3dfc147fc776c9dc45760462008d738e1e39f429 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 18 Dec 2012 01:02:25 +0000 Subject: [PATCH] Fix GUI so that displayed property results (in results dialog, tooltips) respect new lines (e.g. for Pareto properties). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6227 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/properties/GUIProperty.java | 2 +- prism/src/userinterface/properties/GUIPropertyResultDialog.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/userinterface/properties/GUIProperty.java b/prism/src/userinterface/properties/GUIProperty.java index d2fa29cc..ed5d9d14 100644 --- a/prism/src/userinterface/properties/GUIProperty.java +++ b/prism/src/userinterface/properties/GUIProperty.java @@ -256,7 +256,7 @@ public class GUIProperty case STATUS_RESULT_ERROR: return getResultString(); default: - return "Result: " + getResultString(); + return "Result: " + getResultString().replaceAll("\n", "
") + ""; } } diff --git a/prism/src/userinterface/properties/GUIPropertyResultDialog.java b/prism/src/userinterface/properties/GUIPropertyResultDialog.java index debb4473..4f42e436 100644 --- a/prism/src/userinterface/properties/GUIPropertyResultDialog.java +++ b/prism/src/userinterface/properties/GUIPropertyResultDialog.java @@ -51,7 +51,7 @@ public class GUIPropertyResultDialog extends javax.swing.JDialog propertyLabel.setText(gp.getPropString()); constantsLabel.setText(gp.getConstantsString()); methodLabel.setText(gp.getMethodString()); - resultLabel.setText(gp.getResultString()); + resultLabel.setText("" + gp.getResultString().replaceAll("\n", "
") + ""); if (gp.getNumberOfWarnings() == 0) { warningLabel.setText(""); } else if (gp.getNumberOfWarnings() == 1) {