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

Backport PR #433 on branch 1.x (Add support for list of keystrokes) #441

Merged

fcollonval merged 1 commit into jupyterlab:1.x from fcollonval:backport/433-format-list-of-keys

Oct 11, 2022

Member

fcollonval commented Oct 11, 2022

Backport PR #433


          Backport PR jupyterlab#433: Add support for list of keystrokes

49ca474

fcollonval added the enhancement label

fcollonval added this to the 1.x milestone

fcollonval merged commit 6cabc21 into jupyterlab:1.x

fcollonval deleted the backport/433-format-list-of-keys branch

October 11, 2022 12:34

github-actions bot locked as resolved and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels