diff options
-rw-r--r-- | users/Profpatsch/alacritty.dhall | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/users/Profpatsch/alacritty.dhall b/users/Profpatsch/alacritty.dhall index b4d99c8294b2..c7e794b6c39e 100644 --- a/users/Profpatsch/alacritty.dhall +++ b/users/Profpatsch/alacritty.dhall @@ -40,7 +40,7 @@ let } } -in { alacritty-config = { font.size = 18, scolling.history = 100000 } +in { alacritty-config = { font.size = 18, scolling.history = 1000000 } , -- This disables the dpi-sensitive scaling (cause otherwise the font will be humongous on my laptop screen) alacritty-env . WINIT_X11_SCALE_FACTOR |