summaryrefslogtreecommitdiff
path: root/doc/config
diff options
context:
space:
mode:
authorPhil Jones <philj56@gmail.com>2022-07-30 09:17:52 +0100
committerPhil Jones <philj56@gmail.com>2022-07-30 09:17:52 +0100
commit655bde52896b4d6995d0c1b349a7f34d0bb221b1 (patch)
tree3ae9c5ef8e7138bdb9356ce0a237427d5c843a0c /doc/config
parent87757b4f0fe9dad041546d0c86a83d918c0aae92 (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/config3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/config b/doc/config
index eb360e4..454f275 100644
--- a/doc/config
+++ b/doc/config
@@ -42,6 +42,9 @@
# Selection text
selection-color = #F92672
+ # Matching portion of selection text
+ selection-match-color = #00000000
+
# Selection background
selection-background = #00000000