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.

Sign up for GitHub

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

Jump to bottom

Reload hotkey #38

Merged
merged 1 commit into from
Dec 27, 2022
Merged

Reload hotkey #38

merged 1 commit into from
Dec 27, 2022

Conversation

LangLangBart
Copy link
Collaborator

@LangLangBart LangLangBart commented Dec 23, 2022 •
edited
Loading

Description

  • adding a hotkey to reload ctrl-r

    • it will also mark unread notifications as read
    • Should the hotkey be split into two separate hotkeys, one for reloading and one for marking notifications as read?

  • additionally a default message was added when all messages have been read

    • All caught up!

Details

@LangLangBart
Copy link
Collaborator Author

related #20

@LangLangBart LangLangBart merged commit 00cf3b5 into main Dec 27, 2022
@LangLangBart LangLangBart deleted the reload branch December 27, 2022 21:55
@LangLangBart LangLangBart mentioned this pull request Dec 28, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@meiji163 meiji163 meiji163 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@LangLangBart @meiji163