Skip to content

Exact Hover Hotkey Binds#9

Merged
JManion32 merged 1 commit into
developfrom
exact-hover-hotkeys
Apr 17, 2026
Merged

Exact Hover Hotkey Binds#9
JManion32 merged 1 commit into
developfrom
exact-hover-hotkeys

Conversation

@JManion32
Copy link
Copy Markdown
Contributor

@JManion32 JManion32 commented Apr 17, 2026

This is a very small detail I noticed that I wanted to patch in the spirit of polishing. On hover, the hotkey displays Profile (P), but the actual bind is p.

When I first encountered this, I tried to enter P, but nothing happened. This just switches the hovers to the exact bind to prevent user confusion.

NOTE: The hotkeys work great! Very nice addition.

Copy link
Copy Markdown

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

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

Hi @JManion32! 👋

Your private repo does not have access to Sourcery.

Please upgrade to continue using Sourcery ✨

@JManion32 JManion32 merged commit 48168b6 into develop Apr 17, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant