Closed gpanders closed 1 year ago
This allows the highlight group to be changed.
This also fixes an issue where the background of the mark characters would override the scrollbar:
Before
After
This allows the highlight group to be changed.
This also fixes an issue where the background of the mark characters would override the scrollbar:
Before
After