summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorPMunch <peterme@peterme.net>2023-11-15 15:35:49 +0100
committerChristian Brabandt <cb@256bit.org>2024-01-15 22:27:35 +0100
commita606f3ac036e5f3dc313f620e6b4bc00812314f9 (patch)
treec27363e3163007004f8838482137a5db5bf28630 /.github
parenteb3475df0d927a178789cf8e7fc4983932e1cdbe (diff)
patch 9.1.0030: Cannot use terminal alternate fontv9.1.0030
Problem: Cannot use terminal alternate fonts (PMunch) Solution: Support terminal alternate fonts using CSI SGR 10-20 and t_CF code (PMunch) Add support for alternate font highlighting This adds support for alternate font highlighting using CSI SGR 10-20. Few terminals currently support this, but with added tool support this should improve over time. The change here is more or less taken from how colors are configured and applied, but there might be some parts I missed while implementing it. Changing fonts is done through the new `:hi ctermfont` attribute which takes a number, 0 is the normal font, and the numbers 1-9 select an "alternative" font. Which fonts are in use is up to the terminal. fixes: #13513 closes: #13537 Signed-off-by: PMunch <peterme@peterme.net> Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions