diff options
author | Phil Jones <philj56@gmail.com> | 2022-07-30 09:17:52 +0100 |
---|---|---|
committer | Phil Jones <philj56@gmail.com> | 2022-07-30 09:17:52 +0100 |
commit | 655bde52896b4d6995d0c1b349a7f34d0bb221b1 (patch) | |
tree | 3ae9c5ef8e7138bdb9356ce0a237427d5c843a0c /doc/config | |
parent | 87757b4f0fe9dad041546d0c86a83d918c0aae92 (diff) |
Add option to colour matching portion of results.
This was done by breaking the selected result into three parts, and
rendering each separately. A side-effect is that ligatures split when a
match ends inside them, but I think that's the correct behaviour (rather
than highlighting the whole ligature).
There may be issues with some non-latin languages that make much more
extensive use of ligatures / combining characters, however.
Diffstat (limited to 'doc/config')
-rw-r--r-- | doc/config | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -42,6 +42,9 @@ # Selection text selection-color = #F92672 + # Matching portion of selection text + selection-match-color = #00000000 + # Selection background selection-background = #00000000 |