(String s)
| 69 | } |
| 70 | |
| 71 | public void appendErr(String s) { |
| 72 | try { |
| 73 | |
| 74 | synchronized (thread_lock) { |
| 75 | |
| 76 | SimpleAttributeSet keyWord = new SimpleAttributeSet(); |
| 77 | StyleConstants.setBackground(keyWord, new Color(240, 150, 150)); |
| 78 | StyleConstants.setBold(keyWord, true); |
| 79 | StyledDocument doc = text.getStyledDocument(); |
| 80 | doc.insertString(doc.getLength() - 1, s + "\n", keyWord); |
| 81 | } |
| 82 | } catch (BadLocationException ex) { |
| 83 | |
| 84 | } |
| 85 | } |
| 86 | } |