in src/syntaxhighlight/Theme.java [418:449]
public String toString() {
StringBuilder sb = new StringBuilder();
sb.append("[");
sb.append(getClass().getName());
sb.append(": ");
sb.append("font: ").append(getFont());
sb.append("; ");
sb.append("background: ").append(getBackground());
sb.append("; ");
sb.append("highlightedBackground: ").append(getHighlightedBackground());
sb.append("; ");
sb.append("gutterText: ").append(getGutterText());
sb.append("; ");
sb.append("gutterBorderColor: ").append(getGutterBorderColor());
sb.append(", ");
sb.append("gutterBorderWidth: ").append(getGutterBorderWidth());
sb.append(", ");
sb.append("gutterTextFont: ").append(getGutterTextFont());
sb.append(", ");
sb.append("gutterTextPaddingLeft: ").append(getGutterTextPaddingLeft());
sb.append(", ");
sb.append("gutterTextPaddingRight: ").append(getGutterTextPaddingRight());
sb.append(", ");
sb.append("styles: ");
for (String _key : styles.keySet()) {
sb.append(_key).append(":").append(styles.get(_key));
}
sb.append("]");
return sb.toString();
}