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 /completions | |
| 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 'completions')
| -rw-r--r-- | completions/tofi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/completions/tofi b/completions/tofi index aa2b999..5942cf7 100644 --- a/completions/tofi +++ b/completions/tofi @@ -16,6 +16,7 @@ _tofi() --font-size --num-results --selection-color + --selection-padding --selection-background --outline-width --outline-color |