Add ui.gutter.selected
option for themes#3303
Merged
archseer merged 2 commits intohelix-editor:masterfrom Oct 3, 2022
ChrHorn:gutter-highlight
Merged
Add `ui.gutter.selected` option for themes#3303archseer merged 2 commits intohelix-editor:masterfrom ChrHorn:gutter-highlight
archseer merged 2 commits intohelix-editor:masterfrom
ChrHorn:gutter-highlight