about summary refs log tree commit diff
path: root/users/Profpatsch/alacritty.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'users/Profpatsch/alacritty.dhall')
-rw-r--r--users/Profpatsch/alacritty.dhall6
1 files changed, 0 insertions, 6 deletions
diff --git a/users/Profpatsch/alacritty.dhall b/users/Profpatsch/alacritty.dhall
deleted file mode 100644
index c8a976cccc72..000000000000
--- a/users/Profpatsch/alacritty.dhall
+++ /dev/null
@@ -1,6 +0,0 @@
-{ 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
-      = 1
-    }