diff --git a/users/Profpatsch/alacritty.dhall b/users/Profpatsch/alacritty.dhall index b4d99c829..c7e794b6c 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