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 +++ 1 file changed, 3 insertions(+) (limited to 'doc/config') 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 # -- cgit v1.2.3