Skip to content

Add ui.gutter.selected option for themes#3303

Merged
archseer merged 2 commits intohelix-editor:masterfrom
ChrHorn:gutter-highlight
Oct 3, 2022
Merged

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

Commits

Commits on Aug 2, 2022