static void appendToTextPane(JTextPane p, S text, AttributeSet attributes) ctex {
  StyledDocument doc = p.getStyledDocument();
  doc.insertString(doc.getLength(), text, attributes);
}