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 /src/config.c | |
| 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 'src/config.c')
| -rw-r--r-- | src/config.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/config.c b/src/config.c index aebb8e1..b5e7d49 100644 --- a/src/config.c +++ b/src/config.c @@ -263,6 +263,8 @@ bool parse_option(struct tofi *tofi, const char *filename, size_t lineno, const tofi->window.entry.foreground_color = parse_color(filename, lineno, value, &err); } else if (strcasecmp(option, "selection-color") == 0) { tofi->window.entry.selection_foreground_color = parse_color(filename, lineno, value, &err); + } else if (strcasecmp(option, "selection-padding") == 0) { + tofi->window.entry.selection_background_padding = parse_uint32(filename, lineno, value, &err); } else if (strcasecmp(option, "selection-background") == 0) { tofi->window.entry.selection_background_color = parse_color(filename, lineno, value, &err); } else if (strcasecmp(option, "width") == 0) { |