!7

p-exp {
  JTextArea ta = jTextAreaWithoutUndo();
  setDocument(ta, defaultStyledDocumentFromString("hello"));
  showFrame(ta);
}