Skip to content

Use nicer glyphs for fold/unfold controls (#247)#255

Merged
cboos merged 1 commit into
mainfrom
dev/nicer-fold-glyphs
Jul 1, 2026
Merged

Use nicer glyphs for fold/unfold controls (#247)#255
cboos merged 1 commit into
mainfrom
dev/nicer-fold-glyphs