@Override
  public int compareTo(@NotNull FileEditorLocation fileEditorLocation) {
    TextEditorLocation otherLocation = (TextEditorLocation)fileEditorLocation;
    if (myEditor != otherLocation.myEditor) {
      Logger.getInstance(TextEditorLocation.class).error("Different editors: " + myEditor + "; and " + otherLocation.myEditor);
    }

    return myPosition.compareTo(otherLocation.myPosition);
  }
@Override
  public int compareTo(@NotNull FileEditorLocation fileEditorLocation)