!7

p-substance {
  final new EditorFrame e;
  showFrame(e);
  e.textArea.setText("Hello\nWorld");
  addMenu(e, "Load", "Load snippet...", r {
    selectSnippetID(voidfunc(S snippetID) {
      e.textArea.setText(loadSnippet(snippetID));
      frameTitle(e, snippetID);
    });
  });
  hideConsole();
}