-
Notifications
You must be signed in to change notification settings - Fork 4.9k
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
diff-hl is not updated in Terminal sessions on scroll/jump. #1959
Comments
cc @dgutov |
Why would the signs need to be updated on scrolling? |
@dgutov signs actually disappear on scrolling. That is, signs are shown for the portion of the buffer that is in the view, but if you scroll down a bit in the buffer, no signs are shown for the new lines. In the screenshot, signs were updated while line 77 was the last line in view, and hence after scrolling a bit downwards, the signs for lines 90-95 (for example) are missing. |
That must be because of some other more you have enabled. Maybe it's Linum. As we can see on the screenshot, some line numbers are wrong as well. The solution is to either stop using Linum, or to display |
@dgutov Seems that |
What about it?
I don't even understand what you're asking. Look! The beginning of the screenshot has 9 lines number 6 and 3 lines number 7. That is because linum-mode is using the margin, and you've made diff-hl use the margin too (via diff-hl-margin-mode); the uses of margin don't compose. Either move it to the right margin, or back to the fringe. |
@dgutov it's a problem in terminal mode. There's no fringe in it. Here is how to reproduce it:
This is with The problem with right margin is that if you have to buffer, only the right most buffer can use the margin. |
Indeed. Any suggestions? Frantically redrawing indicators after scrolling just because someone might have overwritten them is not a good idea (it introduces a race condition, for one). |
Oh. Instead of |
You're right. Maybe we could try. Also, |
I think we should try it, I wonder if relative line numbers will work with There is still the issue of the highlight of the current line which erases Honestly the margin of diff-hl in its current state is not really usable In the terminal redrawing cost is less than in the GUI (well on a local Le vendredi 12 juin 2015, Tu Do notifications@github.com a écrit :
-syl20bnr- |
They probably won't. If you're not satisfied with the current state of affairs WRT margins, you should file a feature request with
I'm not aware of that, and I don't see any related open issues. |
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Please let us know if this issue is still valid! |
When working with terminal sessions,
diff-hl
will not update the git gutter signs when the buffer is scrolled or jumped from one point to another.Moreover, forcing the
hl
to update itself by saving the buffer does not work when there are no changes to be saved.Here is an outdated
hl
view:The text was updated successfully, but these errors were encountered: