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.

Sign up for GitHub

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

Jump to bottom

Persist shortcut overrides #280

Merged
merged 3 commits into from
Nov 11, 2021
Merged

Persist shortcut overrides #280

merged 3 commits into from
Nov 11, 2021

Conversation

mattrunyon
Copy link
Collaborator

Fixes #176

@mattrunyon mattrunyon added the enhancement New feature or request label Nov 9, 2021
@mattrunyon mattrunyon requested a review from mofojed November 9, 2021 22:16
@mattrunyon mattrunyon self-assigned this Nov 9, 2021
@mattrunyon mattrunyon merged commit 6ff69f8 into deephaven:main Nov 11, 2021
@mattrunyon mattrunyon changed the title Persist shortcut definitions Persist shortcut overrides Nov 11, 2021
@mattrunyon mattrunyon deleted the mattrunyon_176 branch November 11, 2021 17:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mofojed mofojed mofojed approved these changes

Assignees

@mattrunyon mattrunyon

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Persist Shortcut Definitions
2 participants
@mattrunyon @mofojed