diff options
author | Phil Jones <philj56@gmail.com> | 2022-09-08 14:29:36 +0100 |
---|---|---|
committer | Phil Jones <philj56@gmail.com> | 2022-09-08 14:29:36 +0100 |
commit | e548412b8eb5c02024645e790745a41ac1ba1192 (patch) | |
tree | 85e63142423d1c547fff5f98ae4b97dd3b1a7818 /themes/dmenu | |
parent | 38fb64271e41c2f578da509e334932bd012a702c (diff) |
Make --scale default to true.
This also stops font sizes from scaling when --scale=false is set.
Diffstat (limited to 'themes/dmenu')
-rw-r--r-- | themes/dmenu | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/themes/dmenu b/themes/dmenu index db480b8..55a23d9 100644 --- a/themes/dmenu +++ b/themes/dmenu @@ -1,6 +1,6 @@ anchor = top width = 100% -height = 60 +height = 30 horizontal = true font-size = 14 prompt-text = " run: " @@ -8,8 +8,8 @@ font = monospace outline-width = 0 border-width = 0 background-color = #000000 -min-input-width = 240 -result-spacing = 30 +min-input-width = 120 +result-spacing = 15 padding-top = 0 padding-bottom = 0 padding-left = 0 |