From a221c4db5695843a035e0bb05ed79245ab441a98 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 21 Nov 2011 00:02:27 +0000 Subject: [PATCH] Padding in property details dialog. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4184 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- .../userinterface/properties/GUIPropertyResultDialog.java | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/prism/src/userinterface/properties/GUIPropertyResultDialog.java b/prism/src/userinterface/properties/GUIPropertyResultDialog.java index f7b66f5c..debb4473 100644 --- a/prism/src/userinterface/properties/GUIPropertyResultDialog.java +++ b/prism/src/userinterface/properties/GUIPropertyResultDialog.java @@ -106,6 +106,7 @@ public class GUIPropertyResultDialog extends javax.swing.JDialog warningLabel = new javax.swing.JLabel(); cur = warningLabel.getFont(); warningLabel.setFont(new Font(cur.getName(), Font.BOLD, cur.getSize())); + jPanel14 = new javax.swing.JPanel(); jPanel9 = new javax.swing.JPanel(); jPanel11 = new javax.swing.JPanel(); jPanel12 = new javax.swing.JPanel(); @@ -251,6 +252,12 @@ public class GUIPropertyResultDialog extends javax.swing.JDialog gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST; jPanel1.add(warningLabel, gridBagConstraints); + jPanel14.setBackground(new java.awt.Color(255, 255, 255)); + gridBagConstraints = new java.awt.GridBagConstraints(); + gridBagConstraints.gridx = 0; + gridBagConstraints.gridy = 14; + jPanel1.add(jPanel14, gridBagConstraints); + gridBagConstraints = new java.awt.GridBagConstraints(); gridBagConstraints.gridx = 1; gridBagConstraints.gridy = 1; @@ -316,6 +323,7 @@ public class GUIPropertyResultDialog extends javax.swing.JDialog private javax.swing.JPanel jPanel11; private javax.swing.JPanel jPanel12; private javax.swing.JPanel jPanel13; + private javax.swing.JPanel jPanel14; private javax.swing.JPanel jPanel2; private javax.swing.JPanel jPanel3; private javax.swing.JPanel jPanel4;