public String toString()

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();
  }