diff options
| author | zachir <zachir@librem.one> | 2023-08-02 01:51:18 -0500 |
|---|---|---|
| committer | zachir <zachir@librem.one> | 2023-08-02 01:51:47 -0500 |
| commit | 1fc2fe8ecffc349019f31d765d1a1ec13613dd27 (patch) | |
| tree | d0f6a16df7676a8fce2a3a433ec6b93047915b19 | |
| parent | 1c07e2121563da0de05ccba3188d9f96bbac7265 (diff) | |
Better optimize dmenu_vertical tofi
| -rw-r--r-- | tofi/themes/dmenu_vertical | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/tofi/themes/dmenu_vertical b/tofi/themes/dmenu_vertical index 5c7af8b..7b8703f 100644 --- a/tofi/themes/dmenu_vertical +++ b/tofi/themes/dmenu_vertical @@ -11,11 +11,17 @@ font = mononoki Nerd Font Mono outline-width = 0 border-width = 0 min-input-width = 424 -result-spacing = 0 +result-spacing = 0, 12 +selection-background-padding = 0, 12 padding-top = 0 padding-bottom = 0 -padding-left = 0 -padding-right = 0 +padding-left = 12 +padding-right = 12 +margin-top = 0 +margin-bottom = 0 +margin-left = 12 +margin-right = 12 +clip-to-padding=true history = false -selection-background-padding = 0 require-match=false +num-results = true |