Skip to content

Conversation

@meganrogge
Copy link
Member

@meganrogge meganrogge commented Mar 9, 2022

fixes #3632

@meganrogge meganrogge self-assigned this Mar 9, 2022
@meganrogge meganrogge requested a review from Tyriar March 9, 2022 14:49
@meganrogge meganrogge added this to the 4.19.0 milestone Mar 9, 2022
@meganrogge meganrogge marked this pull request as draft March 9, 2022 18:50
Copy link
Member

@Tyriar Tyriar left a comment

Choose a reason for hiding this comment

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

One theme I've noticed that I think we should move away from is the idea of buffer decorations vs scroll bar decorations. Instead there are decorations, all decorations are rendered in the buffer and some get rendered in the scroll bar. I think the latter is how it works but most of the code is structured in the other direction.

@meganrogge meganrogge marked this pull request as ready for review March 14, 2022 14:10
meganrogge and others added 22 commits March 15, 2022 14:59
Co-authored-by: Daniel Imms <[email protected]>
Co-authored-by: Daniel Imms <[email protected]>
Co-authored-by: Daniel Imms <[email protected]>
Co-authored-by: Daniel Imms <[email protected]>
Co-authored-by: Daniel Imms <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Allow decorations to show up in the scroll bar

2 participants