@Override
  public void beforeEvaluate(@NotNull Editor editor) {
    Document document = editor.getDocument();
    document.insertString(document.getTextLength(), EVAL_IN_MARKER);
  }
@Override
  public void beforeEvaluate(@NotNull Editor editor)