private void checkDisposal() {
    if (myEditor.isDisposed()) myEditor.throwDisposalError("Editor is already disposed");
    if (!isValid) throw new IllegalStateException("Caret is invalid", myDisposalTrace);
  }
private void checkDisposal()