Skip to content

Improvements to the shortcuts editing widget - #1797

Merged
MewPurPur merged 1 commit into
mainfrom
shortcut-fixes
Aug 13, 2026
Merged

Improvements to the shortcuts editing widget#1797
MewPurPur merged 1 commit into
mainfrom
shortcut-fixes

Conversation

@MewPurPur

@MewPurPur MewPurPur commented Aug 13, 2026

Copy link
Copy Markdown
Owner

Stuff I did over a couple of commutes :3

@MewPurPur
MewPurPur merged commit 3071f61 into main Aug 13, 2026
6 checks passed
@MewPurPur
MewPurPur deleted the shortcut-fixes branch August 13, 2026 10:12
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