blob: ca63d6ef868bf278ce7d55e1aa53995327640257 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
anchor = top
width = 100%
height = 24
horizontal = true
font-size = 11
prompt-text = " run: "
font = mononoki Nerd Font Mono
outline-width = 0
border-width = 0
background-color = #000000
text-color = #198844
selection-color = #39c1ed
min-input-width = 120
result-spacing = 15
padding-top = 3
padding-bottom = 0
padding-left = 0
padding-right = 0
|
