|
|
@ -7,7 +7,8 @@ |
|
|
|
#: characters. |
|
|
|
#: characters. |
|
|
|
|
|
|
|
|
|
|
|
#font_family Fira Code Regular |
|
|
|
#font_family Fira Code Regular |
|
|
|
font_family IBM Plex Mono |
|
|
|
#font_family IBM Plex Mono |
|
|
|
|
|
|
|
font_family BlexMono Nerd Font |
|
|
|
bold_font auto |
|
|
|
bold_font auto |
|
|
|
italic_font auto |
|
|
|
italic_font auto |
|
|
|
bold_italic_font auto |
|
|
|
bold_italic_font auto |
|
|
@ -533,7 +534,7 @@ enable_audio_bell no |
|
|
|
#: resizing windows. The cells value is used for horizontal resizing |
|
|
|
#: resizing windows. The cells value is used for horizontal resizing |
|
|
|
#: and the lines value for vertical resizing. |
|
|
|
#: and the lines value for vertical resizing. |
|
|
|
|
|
|
|
|
|
|
|
# window_border_width 0.5pt |
|
|
|
#window_border_width 0.5pt |
|
|
|
|
|
|
|
|
|
|
|
#: The width of window borders. Can be either in pixels (px) or pts |
|
|
|
#: The width of window borders. Can be either in pixels (px) or pts |
|
|
|
#: (pt). Values in pts will be rounded to the nearest number of pixels |
|
|
|
#: (pt). Values in pts will be rounded to the nearest number of pixels |
|
|
@ -565,7 +566,7 @@ enable_audio_bell no |
|
|
|
#: values set top, horizontal and bottom. Four values set top, right, |
|
|
|
#: values set top, horizontal and bottom. Four values set top, right, |
|
|
|
#: bottom and left. |
|
|
|
#: bottom and left. |
|
|
|
|
|
|
|
|
|
|
|
# window_padding_width 0 |
|
|
|
window_padding_width 20 |
|
|
|
|
|
|
|
|
|
|
|
#: The window padding (in pts) (blank area between the text and the |
|
|
|
#: The window padding (in pts) (blank area between the text and the |
|
|
|
#: window border). A single value sets all four sides. Two values set |
|
|
|
#: window border). A single value sets all four sides. Two values set |
|
|
|