aboutsummaryrefslogtreecommitdiff
path: root/gui
diff options
context:
space:
mode:
authorAdrian Kummerlaender2019-01-26 12:18:05 +0100
committerAdrian Kummerlaender2019-01-31 20:36:04 +0100
commit017cd3bbd9070dd42e5710459be613dd093dc5f8 (patch)
tree5d4ad96f5cb0c78c3ed02f39dbb587884efb2da6 /gui
parent5b139524b2771bfb140af46572874587adeeca91 (diff)
downloadnixos_home-017cd3bbd9070dd42e5710459be613dd093dc5f8.tar
nixos_home-017cd3bbd9070dd42e5710459be613dd093dc5f8.tar.gz
nixos_home-017cd3bbd9070dd42e5710459be613dd093dc5f8.tar.bz2
nixos_home-017cd3bbd9070dd42e5710459be613dd093dc5f8.tar.lz
nixos_home-017cd3bbd9070dd42e5710459be613dd093dc5f8.tar.xz
nixos_home-017cd3bbd9070dd42e5710459be613dd093dc5f8.tar.zst
nixos_home-017cd3bbd9070dd42e5710459be613dd093dc5f8.zip
Scale GTK3 for highdpi display
Looks slightly to large for the few GTK3 applications I use regularly but buttons are way to small otherwise.
Diffstat (limited to 'gui')
-rw-r--r--gui/gtk.nix5
1 files changed, 5 insertions, 0 deletions
diff --git a/gui/gtk.nix b/gui/gtk.nix
index bd1465a..adb54d8 100644
--- a/gui/gtk.nix
+++ b/gui/gtk.nix
@@ -66,4 +66,9 @@ in {
enable = true;
useGtkTheme = true;
};
+
+ home.sessionVariables = {
+ GDK_SCALE = "2";
+ GDK_DPI_SCALE = "0.5";
+ };
}