@Override
    public @Nullable NavigationRequest navigationRequest() {
      return NavigationRequest.sourceNavigationRequest(myFile, myRangeInFile);
    }
@Override
    public @Nullable NavigationRequest navigationRequest()