docs: public void setOvertypeMode(boolean isOvertypeMode) {
          TextEditor.isOvertypeMode = isOvertypeMode;
          int pos = getCaretPosition();
          setCaret(isOvertypeMode() ? overtypeCaret : defaultCaret);
          setCaretPosition(pos);
      }