Add support for list of keystrokes

[fcollonval]

Reference

Xref: jupyterlab/jupyterlab#13180

Code changes

Support passing a list of keys to Command.formatKeystroke to get a comma-separated representation as the one used in menus.

[blink1073]

LGTM, thanks!

[krassowski]

Thank you!

[fcollonval]

@meeseeksdev please backport to 1.x

[lumberbot-app]

Owee, I'm MrMeeseeks, Look at me.

There seem to be a conflict, please backport manually. Here are approximate instructions:

1. Checkout backport branch and update it.

git checkout 1.x
git pull

2. Cherry pick the first parent branch of the this PR on top of the older branch:

git cherry-pick -x -m1 b5bf5eacdb0fa516874da3cb8660ae3c7bc1a3da

3. You will likely have some merge/cherry-pick conflict here, fix them and commit:

git commit -am 'Backport PR #433: Add support for list of keystrokes'

4. Push to a named branch:

git push YOURFORK 1.x:auto-backport-of-pr-433-on-1.x

5. Create a PR against branch 1.x, I would have named this PR:

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

And apply the correct labels and milestones.

Congratulations — you did some good work! Hopefully your backport PR will be tested by the continuous integration and merged soon!

Remember to remove the Still Needs Manual Backport label once the PR gets merged.

If these instructions are inaccurate, feel free to suggest an improvement.