StyledTextPrinter.java

package jetbrains.mps.editor.runtime.style;

/*Generated by MPS */


public interface StyledTextPrinter {
  StyledTextPrinter setBold(boolean bold);
  StyledTextPrinter append(String text);
}