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

Fix customMargin renders incorrectly when scrolling #444

Merged

danipen merged 1 commit into master from fix-442

Jul 29, 2024

Collaborator

danipen commented Jul 29, 2024 •

edited

Loading

Fixes #442.

Fixed custom margin rendering visuals in the wrong position when scrolling.
Added InvalidateVisual() when the pointer exits to hide the hovered marker.
Cleared markers when changing the document.


          UI fixes to the CustomMargin

251c1a8

Contributor

mgarstenauer commented Jul 29, 2024

I can reproduce #442. Not sure how I missed that.

Thanks for making the fixes. Changes look good.

danipen merged commit f9d50b8 into master

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet