@@ -54,6 +54,7 @@ private void setup() {
54
54
55
55
56
56
JTextPane overviewTitle = new JTextPane ();
57
+ overviewTitle .putClientProperty ("html.disable" , null );
57
58
overviewTitle .setContentType ("text/html" );
58
59
overviewTitle .setDocument (doc );
59
60
overviewTitle .setEditable (false );
@@ -64,6 +65,7 @@ private void setup() {
64
65
"filters from various fields and row coloring to highlight interesting entries which match a specific filter.</body>" );
65
66
66
67
JTextPane overviewPane = new JTextPane ();
68
+ overviewPane .putClientProperty ("html.disable" , null );
67
69
overviewPane .setContentType ("text/html" );
68
70
overviewPane .setEditable (false );
69
71
doc = (HTMLDocument ) editorKit .createDefaultDocument ();
@@ -154,6 +156,7 @@ private void setup() {
154
156
});
155
157
156
158
JTextPane fieldTitle = new JTextPane ();
159
+ fieldTitle .putClientProperty ("html.disable" , null );
157
160
fieldTitle .setContentType ("text/html" );
158
161
fieldTitle .setEditable (false );
159
162
doc = (HTMLDocument ) editorKit .createDefaultDocument ();
@@ -163,6 +166,7 @@ private void setup() {
163
166
"A number of fields are available to use from the requests within your filters. These are listed below.<body>" );
164
167
165
168
JTextPane fieldPane = new JTextPane ();
169
+ fieldPane .putClientProperty ("html.disable" , null );
166
170
fieldPane .setContentType ("text/html" );
167
171
fieldPane .setEditable (false );
168
172
doc = (HTMLDocument ) editorKit .createDefaultDocument ();
0 commit comments