From ac41cfcd42461cba8148019b283532b51bc27762 Mon Sep 17 00:00:00 2001 From: Colin Date: Fri, 8 Mar 2024 00:01:23 +0000 Subject: [PATCH] wvkbd: tune height (by guess) --- hosts/common/programs/wvkbd.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/hosts/common/programs/wvkbd.nix b/hosts/common/programs/wvkbd.nix index 773efcd5c..64b216d57 100644 --- a/hosts/common/programs/wvkbd.nix +++ b/hosts/common/programs/wvkbd.nix @@ -35,6 +35,8 @@ in # - georgian environment.WVKBD_LANDSCAPE_LAYERS = "landscape,special,emoji"; environment.WVKBD_LAYERS = "full,special,emoji"; + environment.WVKBD_HEIGHT = "216"; #< default: 250 (pixels) + # environment.WVKBD_LANDSCAPE_HEIGHT = "??"; #< default: 120 (pixels) }; }; }