Skip to content

Make gutters padding optional#2996

Merged
archseer merged 1 commit intohelix-editor:masterfrom pickfire:optional-gutter-paddingJul 18, 2022
+66-20

Commits

Commits on Jul 7, 2022