From 82d4c237d1f501cd7b0b8afc53ed87fd3ccf0e18 Mon Sep 17 00:00:00 2001 From: Phil Jones Date: Fri, 29 Jul 2022 12:44:02 +0100 Subject: Add --selection-padding option. This adds some extra padding in the selection background, rather than tightly wrapping the selection text. --- doc/config | 3 +++ doc/tofi.5.md | 6 ++++++ doc/tofi.5.scd | 5 +++++ 3 files changed, 14 insertions(+) (limited to 'doc') diff --git a/doc/config b/doc/config index 77ff7ad..eb360e4 100644 --- a/doc/config +++ b/doc/config @@ -64,6 +64,9 @@ # Minimum width of input in horizontal mode. min-input-width = 0 + # Extra horizontal padding of the selection background in pixels. + selection-padding = 0 + # ### Window layout # 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 diff --git a/doc/tofi.5.scd b/doc/tofi.5.scd index b57c800..53ea3b3 100644 --- a/doc/tofi.5.scd +++ b/doc/tofi.5.scd @@ -85,6 +85,11 @@ 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 information. -- cgit v1.2.3