diff options
| author | Phil Jones <philj56@gmail.com> | 2022-08-05 17:25:27 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-08-05 19:21:11 +0100 |
| commit | c9f1daea03a41c0cad56453e1dcc50f6133f19c6 (patch) | |
| tree | a609e8a6145f2027d78876a2a775d48c06aafabc /doc/config | |
| parent | 15f831bbb6f27d5a11879dd07f383400e83c97e3 (diff) | |
Correct selection background for slanted fonts.
Previously the selection background didn't really wrap text correctly,
especially if the font was very slanted. This fixes that, so the width
is tightly wrapped around any font.
Diffstat (limited to 'doc/config')
0 files changed, 0 insertions, 0 deletions