Skip to content

Feature/global shortcuts#22

Merged
KonstantinMerkel merged 3 commits into
developfrom
feature/global_shortcuts
Jun 19, 2026
Merged

Feature/global shortcuts#22
KonstantinMerkel merged 3 commits into
developfrom
feature/global_shortcuts

Conversation

@KonstantinMerkel

Copy link
Copy Markdown
Owner

On #16

UI changes:

  • new tab keyboard shortcuts7
  • also system shortcuts important for your workflow added
  • differentiator between system and extension shortcuts
  • shortcut overload detection
  • new sorting

@KonstantinMerkel KonstantinMerkel self-assigned this Jun 11, 2026
@KonstantinMerkel KonstantinMerkel force-pushed the feature/global_shortcuts branch 2 times, most recently from 7fab3f2 to ffa4562 Compare June 17, 2026 06:17
@KonstantinMerkel KonstantinMerkel force-pushed the feature/global_shortcuts branch from ffa4562 to 1c923a4 Compare June 19, 2026 14:20
@KonstantinMerkel KonstantinMerkel merged commit f8fe81d into develop Jun 19, 2026
1 check passed
@KonstantinMerkel KonstantinMerkel deleted the feature/global_shortcuts branch June 19, 2026 14:52
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