@Override
  public ActionCallback type(String text) {
    ActionCallback result = new ActionCallback();
    EdtInvocationManager.invokeLaterIfNeeded(() -> editor.type(text).notify(result));
    return result;
  }
@Override
  public ActionCallback type(String text)