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

static void appendToTextPane(JTextPane p, S text) {
  appendToTextPane(p, text, style_normal());
}