scope transpileOnServerWithErrorWindow.

static JTextArea transpilationErrorBox;

svoid transpileOnServerWithErrorWindow(S snippetID, bool medium) {
  final Pair<Bool, S> p = transpileOnServer(snippetID, medium ? "medium" : "quick");
  awt {
    if (p.a) {
      infoBox("Transpiled OK!");
      hideWindow(transpilationErrorBox);
      transpilationErrorBox = null;
    } else {
      infoBox("Transpilation error. " + p.b);
      bool first = transpilationErrorBox == null;
      transpilationErrorBox = showText(transpilationErrorBox, "Transpilation Error", p.b);
      if (first) {
        setFrameIcon(#1101268, transpilationErrorBox);
        addButtonsToWindow(transpilationErrorBox, "Medium transpile", r { _transpile(true) });
      }
    }
  }
}
        
end scope