chore(config): Tweaks to fonts, app title bar, etc

This commit is contained in:
2023-09-27 11:07:15 +03:00
parent a87b33b8c2
commit f48813ff85
5 changed files with 18 additions and 3 deletions

View File

@@ -17,6 +17,7 @@ env:
# Window dimensions in character columns and lines
# (changes require restart)
window:
dynamic_title: true
dimensions:
columns: 130
lines: 40
@@ -39,19 +40,19 @@ draw_bold_text_with_bright_colors: true
font:
# The normal (roman) font face to use.
normal:
family: JetBrainsMono Nerd Font
family: JetBrainsMonoNL Nerd Font Mono
# Style can be specified to pick a specific face.
style: ExtraLight
# The bold font face
bold:
family: JetBrainsMono Nerd Font
family: JetBrainsMonoNL Nerd Font Mono
# Style can be specified to pick a specific face.
style: Bold
# The italic font face
italic:
family: JetBrainsMono Nerd Font
family: JetBrainsMonoNL Nerd Font Mono
# Style can be specified to pick a specific face.
style: Italic