wvkbd: tune height (by guess)

2024-03-08 00:01:23 +00:00
parent 62cbc65f12
commit ac41cfcd42
1 changed files with 2 additions and 0 deletions
--- 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)
    };
  };
 }