Skip to content

Fix find unlinked files#11553

Merged
Siedlerchr merged 2 commits into
mainfrom
fixFindUnlinkedFiles
Jul 31, 2024
Merged

Fix find unlinked files#11553
Siedlerchr merged 2 commits into
mainfrom
fixFindUnlinkedFiles

Conversation

@Siedlerchr

@Siedlerchr Siedlerchr commented Jul 31, 2024

Copy link
Copy Markdown
Member

Save configuration on dialog exit

Fixes #11540

Follow up to #11493

Changelog is not necessary

Mandatory checks

  • Change in CHANGELOG.md described in a way that is understandable for the average user (if applicable)
  • Tests created for changes (if applicable)
  • Manually tested changed features in running JabRef (always required)
  • Screenshots added in PR description (for UI changes)
  • Checked developer's documentation: Is the information available and up to date? If not, I outlined it in this pull request.
  • Checked documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request to the documentation repository.

Save configuration on dialog exit

Fixes #11540

Follow up to #11493
@Siedlerchr Siedlerchr force-pushed the fixFindUnlinkedFiles branch from d041dbd to 9e7bde3 Compare July 31, 2024 21:29
@Siedlerchr Siedlerchr enabled auto-merge July 31, 2024 21:34
@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Jul 31, 2024
@github-actions

github-actions Bot commented Jul 31, 2024

Copy link
Copy Markdown
Contributor

The build for this PR is no longer available. Please visit https://builds.jabref.org/main/ for the latest build.

@Siedlerchr Siedlerchr added this pull request to the merge queue Jul 31, 2024
Merged via the queue into main with commit 7be96c6 Jul 31, 2024
@Siedlerchr Siedlerchr deleted the fixFindUnlinkedFiles branch July 31, 2024 22:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Search for unlinked local files throws exception

2 participants