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.

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

Add documentation for WidgetManager #8643

Closed
tortmayr opened this issue Oct 16, 2020 · 0 comments · Fixed by #8644
Closed

Add documentation for WidgetManager #8643

tortmayr opened this issue Oct 16, 2020 · 0 comments · Fixed by #8644
Labels
documentation issues related to documentation

Comments

@tortmayr
Copy link
Contributor

Add API documentation for WidgetManager and potentially an extension guide. This will help developers to better understand how to implement a WidgetFactory to contribute their own widgets.
tortmayr added a commit to eclipsesource/theia that referenced this issue Oct 16, 2020
@tortmayr
Add documentation for widget manager & open handler
e473276 
FIxes  eclipse-theia#8643
- Document 'WidgetManager' and related interfaces
- Document 'WidgetOpenHandler' and related interfaces
Signed-off-by: Tobias Ortmayr <tortmayr@eclipsesource.com>
Contributed on behalf of STMicroelectronics
tortmayr added a commit to eclipsesource/theia that referenced this issue Oct 16, 2020
@tortmayr
Add documentation for widget manager & open handler
c690332 
FIxes  eclipse-theia#8643
- Document 'WidgetManager' and related interfaces
- Document 'WidgetOpenHandler' and related interfaces
Signed-off-by: Tobias Ortmayr <tortmayr@eclipsesource.com>
Contributed on behalf of STMicroelectronics
@tortmayr tortmayr mentioned this issue Oct 16, 2020
Merged
1 task
@vince-fugnitto vince-fugnitto added the documentation issues related to documentation label Oct 16, 2020
tortmayr added a commit to eclipsesource/theia that referenced this issue Oct 19, 2020
@tortmayr
Add documentation for widget manager & open handler
1d767d0 
FIxes  eclipse-theia#8643
- Document 'WidgetManager' and related interfaces
- Document 'WidgetOpenHandler' and related interfaces
Signed-off-by: Tobias Ortmayr <tortmayr@eclipsesource.com>
Contributed on behalf of STMicroelectronics
tortmayr added a commit to eclipsesource/theia that referenced this issue Oct 23, 2020
@tortmayr
Add documentation for widget manager & open handler
b5e9eff 
FIxes  eclipse-theia#8643
- Document 'WidgetManager' and related interfaces
- Document 'WidgetOpenHandler' and related interfaces
Signed-off-by: Tobias Ortmayr <tortmayr@eclipsesource.com>
Contributed on behalf of STMicroelectronics
vince-fugnitto pushed a commit that referenced this issue Oct 23, 2020
@tortmayr @vince-fugnitto
Add documentation for widget manager & open handler
f205aa5 
FIxes  #8643
- Document 'WidgetManager' and related interfaces
- Document 'WidgetOpenHandler' and related interfaces
Signed-off-by: Tobias Ortmayr <tortmayr@eclipsesource.com>
Contributed on behalf of STMicroelectronics
EstherPerelman pushed a commit to EstherPerelman/theia that referenced this issue Oct 29, 2020
@tortmayr @EstherPerelman
Add documentation for widget manager & open handler
1295182 
FIxes  eclipse-theia#8643
- Document 'WidgetManager' and related interfaces
- Document 'WidgetOpenHandler' and related interfaces
Signed-off-by: Tobias Ortmayr <tortmayr@eclipsesource.com>
Contributed on behalf of STMicroelectronics
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation issues related to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add documentation for widget manager & open handler eclipsesource/theia
2 participants
@tortmayr @vince-fugnitto