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

Shortcut Ctrl+R does not work #12564

Open
koppor opened this issue Feb 24, 2025 · 2 comments
Open

Shortcut Ctrl+R does not work #12564

koppor opened this issue Feb 24, 2025 · 2 comments
Assignees
Labels

Comments

@koppor
Copy link
Member

koppor commented Feb 24, 2025

Image

@K4ppaaa
Copy link

K4ppaaa commented Mar 3, 2025

/assign-me

@github-actions github-actions bot added the 📍 Assigned Assigned by assign-issue-action (or manually assigned) label Mar 3, 2025
Copy link
Contributor

github-actions bot commented Mar 3, 2025

👋 Hey @K4ppaaa, thank you for your interest in this issue! 🎉

We're excited to have you on board. Start by exploring our Contributing guidelines, and don't forget to check out our workspace setup guidelines to get started smoothly.

In case you encounter failing tests during development, please check our developer FAQs!

Having any questions or issues? Feel free to ask here on GitHub. Need help setting up your local workspace? Join the conversation on JabRef's Gitter chat. And don't hesitate to open a (draft) pull request early on to show the direction it is heading towards. This way, you will receive valuable feedback.

Happy coding! 🚀

⏳ Please note, you will be automatically unassigned if the issue isn't closed within 45 days (by 17 April 2025). A maintainer can also add the "📌 Pinned"" label to prevent automatic unassignment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants