-
Epic
-
Resolution: Done
-
Major
-
None
-
Keyboard Shortcuts API
-
To Do
-
0% To Do, 0% In Progress, 100% Done
-
2020 Week 04-06 (from Jan 20), 2020 Week 07-09 (from Feb 10), 2020 Week 10-12 (from Mar 2), 2020 Week 13-15 (from Mar 23), 2020 Week 16-18 (from Apr 13), 2020 Week 19-21 (from May 4), 2020 Week 22-24 (from May 25)
Goals
We should create an overlapping panel like gmail does for keyboard shortcuts.
We should provide an API for editors to register keyboard shortcuts.
NOTE: We won't be supporting clash detections with 'native' keyboard shortcuts on the channels. For example, VSCode has currently no public API to provide information about the registered keyboard shortcuts, so there's no way to know if an editor registers a shortcut that's already in registered in VSCode. That's true for other channels as well.
Non-goals
TBD
Acceptance criteria
TBD
- causes
-
KOGITO-5091 VSCode DMN, BPMN editor - creating connection can't be cancelled easily
-
- Closed
-
- relates to
-
KOGITO-6079 Stunner - clean up Lienzo shortcuts
-
- Open
-
