Skip to content

Re: Keyboard shortcuts#138

Merged
marcosfrenkel merged 20 commits into
toolsforexperiments:masterfrom
marcosfrenkel:fork/osn07/keyboard-shortcuts
Jun 3, 2026
Merged

Re: Keyboard shortcuts#138
marcosfrenkel merged 20 commits into
toolsforexperiments:masterfrom
marcosfrenkel:fork/osn07/keyboard-shortcuts

Conversation

@marcosfrenkel

Copy link
Copy Markdown
Collaborator

look at #134 for details. This PR is me doing some final touches to it

osn07 and others added 20 commits June 3, 2026 12:07
…es a user's individual shortcut preferences. ShortcutEditorDialog handles UI interactions and updates a KSM class instance accordingly. base_instrument.py was updated to implement these new classes and add a button to edit keyboard shortcuts.
…to Station or Log. alert column on right side indicates three states: ok (white), unsaved (orange), and duplicate (red). alert displays tooltip for each tooltip. ServerGui now holds a shortcut editor and shortcut manager, which is passed to an instrument tab when opened.
…lso, removed 'Save' button, so only can save to file
… shortcuts also fixed/implemented for methods. shortcut tooltips added for toolbar
@marcosfrenkel marcosfrenkel merged commit 74cf2ed into toolsforexperiments:master Jun 3, 2026
7 checks passed
@marcosfrenkel marcosfrenkel deleted the fork/osn07/keyboard-shortcuts branch June 3, 2026 17:40
@marcosfrenkel marcosfrenkel mentioned this pull request Jun 3, 2026
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.

2 participants