// textAndColors = a list of Color objects and strings/chars
// Note: This functions changes the BACKGROUND colors
// (not the text, which remains black).
static JTextPane coloredTextToTextPane(L textAndColors, AttributeSet defaultAttributes default null) ctex {
  var pane = jTextPane();
  var doc = pane.getStyledDocument();
  Color color = Color.white;
  for (O x : textAndColors) {
    if (x instanceof Color)
      color = (Color) x;
    else {
      SimpleAttributeSet set;
      if (defaultAttributes == null) {
        set = new SimpleAttributeSet;
        StyleConstants.setFontFamily(set, "Courier");
        StyleConstants.setBold(set, true);
        StyleConstants.setFontSize(set, 14);
      } else
        set = new SimpleAttributeSet(defaultAttributes);
        
      StyleConstants.setBackground(set, color);
      doc.insertString(doc.getLength(), String.valueOf(x), set);
    }
  }
  ret pane;
}