Show hover message for diff revert arrow #180378
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
joyceerhl
force-pushed
the
dev/joyceerhl/provincial-cheetah
branch
from
356eb34
to
a7b641e
Compare
|
I think this fixes some open issue. Thanks for the fix! |
hediet
previously approved these changes
Apr 24, 2023
aeschli
approved these changes
Apr 24, 2023
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Re: #179725
We now potentially show both breakpoints and diff editor revert icons in the diff editor. It's ambiguous what happens when the user clicks on the revert icon. This PR adds a hover message so it's clear that clicking will revert the change. (Note, we will eventually implement support for glyph widgets, but this avoids ambiguity till then.)