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

markers: update tooltip to display the full path of a resource #7204

Closed
vince-fugnitto opened this issue Feb 24, 2020 · 0 comments · Fixed by #7207
Closed

markers: update tooltip to display the full path of a resource #7204

vince-fugnitto opened this issue Feb 24, 2020 · 0 comments · Fixed by #7207
Labels
enhancement issues that are enhancements to current functionality - nice to haves markers issues related to problem markers

Comments

@vince-fugnitto
Copy link
Member

Description

The MarkerInfoNode tooltip should be updated to display the full path of a given resource.
At the moment, only the relative path is displayed.
@vince-fugnitto vince-fugnitto added enhancement issues that are enhancements to current functionality - nice to haves markers issues related to problem markers labels Feb 24, 2020
vince-fugnitto added a commit that referenced this issue Feb 24, 2020
@vince-fugnitto
markers: update tooltip to display full path
6ce9c5a 
Fixes #7204

- updates the `MarkerInfoNode` (file) tooltip to display the full path of a resource.
- updates the existing tooltips to instead use the full path.

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
@vince-fugnitto vince-fugnitto mentioned this issue Feb 24, 2020
Merged
1 task
vince-fugnitto added a commit that referenced this issue Feb 25, 2020
@vince-fugnitto
markers: update tooltip to display full path
c1bd96f 
Fixes #7204

- updates the `MarkerInfoNode` (file) tooltip to display the full path of a resource.
- updates the existing tooltips to instead use the full path.

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
JesterOrNot pushed a commit to JesterOrNot/theia that referenced this issue Mar 12, 2020
@vince-fugnitto
markers: update tooltip to display full path
d4bdca8 
Fixes eclipse-theia#7204

- updates the `MarkerInfoNode` (file) tooltip to display the full path of a resource.
- updates the existing tooltips to instead use the full path.

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement issues that are enhancements to current functionality - nice to haves markers issues related to problem markers
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

markers: update tooltip to display full path eclipse-theia/theia
1 participant
@vince-fugnitto