()
| 42 | |
| 43 | |
| 44 | private void rebuild() { |
| 45 | StringBuffer buffer = new StringBuffer("<html><head>"); |
| 46 | // if (css != null) { |
| 47 | // buffer.append("<style type='text/css'>").append(css).append("</style>"); |
| 48 | // } |
| 49 | buffer.append("</head><body>"); |
| 50 | buffer.append(message); |
| 51 | // System.out.println(buffer); |
| 52 | super.setText(buffer.toString()); |
| 53 | if (css != null) { |
| 54 | ((HTMLDocument) getDocument()).getStyleSheet().addRule(css); |
| 55 | } |
| 56 | /* |
| 57 | if (css != null) { // reapply the styles |
| 58 | setStyle(css); |
| 59 | } |
| 60 | */ |
| 61 | } |
| 62 | |
| 63 | |
| 64 | public void setStyle(String css) { |
no test coverage detected