Padding in property details dialog.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4184 bbc10eb1-c90d-0410-af57-cb519fbb1720

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;