diff options
author | Phil Jones <philj56@gmail.com> | 2022-07-29 12:44:02 +0100 |
---|---|---|
committer | Phil Jones <philj56@gmail.com> | 2022-07-29 14:32:35 +0100 |
commit | 82d4c237d1f501cd7b0b8afc53ed87fd3ccf0e18 (patch) | |
tree | 87f81278d8bbecaab1f8030f1fe5846e9a5ce28e /doc/tofi.5.md | |
parent | 96fb966e7b89846fa8305d5dc521a113fcfab82b (diff) |
Add --selection-padding option.
This adds some extra padding in the selection background, rather than
tightly wrapping the selection text.
Diffstat (limited to 'doc/tofi.5.md')
-rw-r--r-- | doc/tofi.5.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/tofi.5.md b/doc/tofi.5.md index 2f3a38d..93db9c7 100644 --- a/doc/tofi.5.md +++ b/doc/tofi.5.md @@ -94,6 +94,12 @@ options. > > Default: \#F92672 +**selection-padding**=*px* + +> Extra horizontal padding of the selection background. +> +> Default: 0 + **selection-background**=*color* > Background color of selected result. See **COLORS** for more |