20 lines
314 B
Plaintext
20 lines
314 B
Plaintext
anchor = top
|
|
width = 100%
|
|
height = 30
|
|
horizontal = true
|
|
font-size = 12
|
|
prompt-text = " run: "
|
|
font = Input Mono
|
|
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
|
|
|
|
|
|
selection-color = #7bc6e2
|