Skip to content

Layer based indicators for all active lines#268

Merged
cyanzhong merged 7 commits into
mainfrom
develop
Aug 14, 2023
Merged

Layer based indicators for all active lines#268
cyanzhong merged 7 commits into
mainfrom
develop

Conversation

@cyanzhong
Copy link
Copy Markdown
Contributor

@cyanzhong cyanzhong commented Aug 13, 2023

Indentations make the active line background partially drawn, use this home-made version to have full-width active line indicator.

To have consistent styles, we decided to apply this extension to all scenarios.

@cyanzhong cyanzhong merged commit c23a599 into main Aug 14, 2023
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.

1 participant