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 missing git diff caption #4640

Merged
merged 1 commit into from
Mar 21, 2019
Merged

Add missing git diff caption #4640

merged 1 commit into from
Mar 21, 2019

Conversation

vince-fugnitto
Copy link
Member

Fixes #4639

Currently, the git-diff-widget does not have a caption (tooltip).
This means that when the widget is docked, and it's icon is displayed,
no tooltip is shown when hovering while others widget do include it.
For the sake of completeness and consistency, the git-diff-widget
should include a caption.

Signed-off-by: Vincent Fugnitto [email protected]

@vince-fugnitto vince-fugnitto added the git issues related to git label Mar 21, 2019
Copy link
Contributor

@lmcbout lmcbout left a comment

Choose a reason for hiding this comment

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

Looks Good

Fixes #4639

Currently, the `git-diff-widget` does not have a caption (tooltip).
This means that when the widget is docked, and it's icon is displayed,
no tooltip is shown when hovering while others widget do include it.
For the sake of completeness and consistency, the `git-diff-widget`
should include a caption.

Signed-off-by: Vincent Fugnitto <[email protected]>
@vince-fugnitto vince-fugnitto merged commit e38fd2a into master Mar 21, 2019
@vince-fugnitto vince-fugnitto deleted the vf/git-diff-caption branch March 21, 2019 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
git issues related to git
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants