From 4f883b019832ddecd883b60004c22efe4c6a2202 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Sun, 12 Feb 2023 17:12:19 +0000
Subject: [PATCH] home: terminal: remove DPI workaround

And instead change the font size to be *about* right.
---
 home/terminal/alacritty/default.nix | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/home/terminal/alacritty/default.nix b/home/terminal/alacritty/default.nix
index a729d79..760162a 100644
--- a/home/terminal/alacritty/default.nix
+++ b/home/terminal/alacritty/default.nix
@@ -8,13 +8,8 @@ in
       enable = true;
 
       settings = {
-        env = {
-          # DPI scaling means the font is way too big otherwise
-          WINIT_X11_SCALE_FACTOR = "1.0";
-        };
-
         font = {
-          size = 9;
+          size = 5.5;
         };
 
         colors = {