Add box-drawings-uses-font-glyphs=no|yes option #445

Manually merged
dnkl merged 2 commits from optionally-render-box-drawing-characters-using-font-glyphs into master 8 months ago
dnkl commented 8 months ago
Owner

When disabled, we render box drawing characters ourselves. This is the default.

When enabled, we instead use font glyphs. I.e. no special treatment.

Closes #430

When disabled, we render box drawing characters ourselves. This is the default. When enabled, we instead use font glyphs. I.e. no special treatment. Closes #430
dnkl added the
enhancement
label 8 months ago
dnkl force-pushed optionally-render-box-drawing-characters-using-font-glyphs from 444d0edeec to 0713ab45c6 8 months ago
dnkl added 1 commit 8 months ago
dnkl merged commit f78ba6653f into master manually 8 months ago
The pull request has been manually merged as f78ba6653f.
Sign in to join this conversation.
Loading…
There is no content yet.