@Override
    public void documentChanged(@NotNull DocumentEvent e) {
      if (!myMarker.isValid()) {
        invalidated(e);
      }
    }
@Override
    public void documentChanged(@NotNull DocumentEvent e)