Skip to content

Improve ingerity check dialog scolling#11619

Merged
koppor merged 4 commits into
mainfrom
improveIntegrityCheckDlgView
Aug 13, 2024
Merged

Improve ingerity check dialog scolling#11619
koppor merged 4 commits into
mainfrom
improveIntegrityCheckDlgView

Conversation

@Siedlerchr

@Siedlerchr Siedlerchr commented Aug 13, 2024

Copy link
Copy Markdown
Member

Fixes https://github.com/JabRef/jabref-issue-melting-pot/issues/473

grafik

improve some code

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.

@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Aug 13, 2024
@Siedlerchr Siedlerchr requested a review from koppor August 13, 2024 20:10
Comment thread src/main/java/org/jabref/logic/integrity/IntegrityMessage.java Outdated
@koppor koppor enabled auto-merge August 13, 2024 20:23
@koppor koppor added this pull request to the merge queue Aug 13, 2024
@github-actions

github-actions Bot commented Aug 13, 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.

Merged via the queue into main with commit 1374813 Aug 13, 2024
@koppor koppor deleted the improveIntegrityCheckDlgView branch August 13, 2024 20:45
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.

2 participants