Skip to content

Add documentation for Keybinding, KeybindingContribution and KeybindingRegistry#8637

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom
eclipsesource:keybinding
Oct 22, 2020
Merged

Add documentation for Keybinding, KeybindingContribution and KeybindingRegistry#8637
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom
eclipsesource:keybinding

Conversation

@JonasHelming
Copy link
Contributor

fixes #8636

Contributed on behalf of STMicroelectronics

Signed-off-by: Jonas Helming jhelming@eclipsesource.com

What it does

Adds/refines documentation for Keybinding, KeybindingContribution, KeyBindingRegistry

How to test

Documentation only

Review checklist

Reminder for reviewers

@JonasHelming JonasHelming changed the title Added documentation for key binding, contributions and registry Add documentation for Keybinding, KeybindingContribution and KeybindingRegistry Oct 15, 2020
@vince-fugnitto vince-fugnitto added documentation issues related to documentation keybindings issues related to keybindings labels Oct 15, 2020
Copy link
Member

@vince-fugnitto vince-fugnitto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JonasHelming I had a few comments, namely about the use of {@link} and the naming.
I noticed we had multiple different types of representations of the word keybinding that I thought we should align throughout the documentation:

  • keybinding
  • key binding
  • KeyBinding

The single keybinding naming would be sufficient.

Copy link
Member

@vince-fugnitto vince-fugnitto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JonasHelming please squash the commits and ensure that there is a proper sign-off (for the eclipse eca check) before we can proceed with an approval.

fixes eclipse-theia#8636

Contributed on behalf of STMicroelectronics

Signed-off-by: Jonas Helming <jhelming@eclipsesource.com>
@JonasHelming
Copy link
Contributor Author

sure, done!

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 this pull request may close these issues.

Add documentation for Keybinding, KeybindingContribution and KeybindingRegistry

3 participants