Skip to content

Add ui.gutter.selected option for themes#3303

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

Commits

Commits on Aug 2, 2022