2023-12-28 12:23:45 -05:00
|
|
|
[font]
|
2024-04-01 15:00:34 -04:00
|
|
|
size = 16.0
|
2023-12-28 12:23:45 -05:00
|
|
|
|
|
|
|
[font.normal]
|
|
|
|
family = "FiraCode Nerd Font"
|
|
|
|
style = "Regular"
|
|
|
|
|
|
|
|
[window]
|
|
|
|
opacity = 0.7
|
|
|
|
|
|
|
|
[window.padding]
|
|
|
|
x = 15
|
|
|
|
y = 15
|
2024-04-19 02:48:51 -04:00
|
|
|
|
|
|
|
[selection]
|
|
|
|
save_to_clipboard = true
|