diff options
author | Phil Jones <philj56@gmail.com> | 2022-11-21 23:59:14 +0000 |
---|---|---|
committer | Phil Jones <philj56@gmail.com> | 2022-11-21 23:59:14 +0000 |
commit | bf144ceca6285af5ce9f64f1176cb104f78b9637 (patch) | |
tree | 1d6fde6e84e16031ae60349279d25b90a0d8a2ac /doc/config | |
parent | 3e11dc2327d70e860b3ad32db386aadd549393b3 (diff) |
Add --clip-to-padding option.
Diffstat (limited to 'doc/config')
-rw-r--r-- | doc/config | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -161,10 +161,15 @@ corner-radius = 0 # Padding between borders and text. Can be pixels or a percentage. - padding-top = 0 - padding-bottom = 0 - padding-left = 0 - padding-right = 0 + padding-top = 8 + padding-bottom = 8 + padding-left = 8 + padding-right = 8 + + # Whether to clip text drawing to be within the specified padding. This + # is mostly important for allowing text to be inset from the border, + # while still allowing text backgrounds to reach right to the edge. + clip-to-padding = true # Whether to scale the window by the output's scale factor. scale = true |