update eris config after changing DPI settings

2024-12-24 18:39:17 -05:00
parent ed9d92ab31
commit 33d47d3c28
2 changed files with 3 additions and 4 deletions
@@ -73,7 +73,7 @@ TERM = "xterm-256color"
 save_to_clipboard = true

 [font]
-size = 8.0
+size = 12.0

 [font.bold]
 family = "JetBrainsMono NF"
@@ -111,4 +111,4 @@ x = 3
 y = 3

 [general]
-live_config_reload = true
+live_config_reload = true