diff options
| author | zachir <zachir@librem.one> | 2023-08-02 01:51:18 -0500 |
|---|---|---|
| committer | zachir <zachir@librem.one> | 2023-08-02 01:51:18 -0500 |
| commit | 2123c9ecfd4fd28d2a8f3e36eda4e0ed756e5209 (patch) | |
| tree | ead9a63ca0ebd586f3402f96c438c632862f7cbb | |
| parent | 18e04a450d2ef16fdd2162deeac06e8ce65ddce3 (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 |