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.

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

Add documentation for Keybinding, KeybindingContribution and KeybindingRegistry #8636

Closed
JonasHelming opened this issue Oct 15, 2020 · 0 comments · Fixed by #8637
Closed
Labels
documentation issues related to documentation keybindings issues related to keybindings

Comments

@JonasHelming
Copy link
Contributor

KeybindingContribution is expected to be used by extensions, KeybindingRegistry is a central service to interact with. So adopters would benefit from more documentation on these entities.
I will submit a contribution

JonasHelming added a commit to eclipsesource/theia that referenced this issue Oct 15, 2020
fixes eclipse-theia#8636

Contributed on behalf of STMicroelectronics

Signed-off-by: Jonas Helming <jhelming@eclipsesource.com>
@vince-fugnitto vince-fugnitto added documentation issues related to documentation keybindings issues related to keybindings labels Oct 15, 2020
JonasHelming added a commit to eclipsesource/theia that referenced this issue Oct 20, 2020
fixes eclipse-theia#8636

Contributed on behalf of STMicroelectronics

Signed-off-by: Jonas Helming <jhelming@eclipsesource.com>
JonasHelming added a commit to eclipsesource/theia that referenced this issue Oct 20, 2020
fixes eclipse-theia#8636

Contributed on behalf of STMicroelectronics

Signed-off-by: Jonas Helming <jhelming@eclipsesource.com>
vince-fugnitto pushed a commit that referenced this issue Oct 22, 2020
fixes #8636

Contributed on behalf of STMicroelectronics

Signed-off-by: Jonas Helming <jhelming@eclipsesource.com>
EstherPerelman pushed a commit to EstherPerelman/theia that referenced this issue Oct 29, 2020
fixes eclipse-theia#8636

Contributed on behalf of STMicroelectronics

Signed-off-by: Jonas Helming <jhelming@eclipsesource.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation issues related to documentation keybindings issues related to keybindings
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants