This commit is contained in:
2022-03-14 13:22:30 -04:00
parent 9ff532974d
commit 12d7cec89d
5 changed files with 20 additions and 2 deletions
+1 -1
View File
@@ -664,7 +664,7 @@ font_size 13.0
#: values set top, horizontal and bottom. Four values set top, right,
#: bottom and left.
window_padding_width 2
window_padding_width 10
#: The window padding (in pts) (blank area between the text and the
#: window border). A single value sets all four sides. Two values set