2022-10-01 19:58:44 +00:00
|
|
|
anchor = top
|
|
|
|
|
width = 100%
|
2022-10-01 20:13:38 +00:00
|
|
|
height = 22
|
2022-10-01 19:58:44 +00:00
|
|
|
horizontal = true
|
|
|
|
|
font-size = 12
|
|
|
|
|
prompt-text = " run: "
|
2022-10-01 20:13:38 +00:00
|
|
|
font = "/usr/share/fonts/TTF/mononoki-Regular Nerd Font Complete Mono.ttf"
|
2022-10-01 19:58:44 +00:00
|
|
|
outline-width = 0
|
|
|
|
|
border-width = 0
|
|
|
|
|
background-color = #000000
|
|
|
|
|
min-input-width = 120
|
|
|
|
|
result-spacing = 15
|
|
|
|
|
padding-top = 0
|
|
|
|
|
padding-bottom = 0
|
|
|
|
|
padding-left = 0
|
|
|
|
|
padding-right = 0
|
2022-10-01 20:13:38 +00:00
|
|
|
num-results = 10
|
