Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix 5555 status popups #5560

Merged
merged 6 commits into from
Nov 6, 2019
Merged

Conversation

Ka0o0
Copy link
Contributor

@Ka0o0 Ka0o0 commented Nov 3, 2019

As discussed in #5555 this PR removes some obsolete notifications and additionally removes notifications during autosave.
I have also removed the strings from the language file, however, I was not sure if this was correct?


@Ka0o0 Ka0o0 force-pushed the fix-5555-status-popups branch from fc6ca01 to 1721eda Compare November 3, 2019 11:33
Copy link
Member

@koppor koppor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

In general: Looks good to me. I wondered about the noisy notifications. - Some small comment on the usage of boolean remains

Copy link
Member

@tobiasdiez tobiasdiez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice to see another good PR from you in such a short time!

@Ka0o0 Ka0o0 requested a review from koppor November 4, 2019 19:33
@Siedlerchr
Copy link
Member

@Ka0o0 Thanks for your contribution again! Could you please fix the checkstyle error? Then it's ready for merge

@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Nov 6, 2019
@Ka0o0
Copy link
Contributor Author

Ka0o0 commented Nov 6, 2019

@Siedlerchr I forgot to remove the unused import. It should pass the style check now.

@Siedlerchr Siedlerchr merged commit 67780cc into JabRef:master Nov 6, 2019
@Ka0o0 Ka0o0 deleted the fix-5555-status-popups branch November 6, 2019 17:23
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.

4 participants