Foot : Add padding.

This commit is contained in:
Dmitry Voronin 2024-07-06 06:27:56 +03:00
parent 58eb4a4752
commit bb8b493bdd
Signed by: voronind
SSH key fingerprint: SHA256:3kBb4iV2ahufEBNq+vFbUe4QYfHt98DHQjN7QaptY9k

View file

@ -1,6 +1,7 @@
{ config, pkgs, ... }: let { config, pkgs, ... }: let
dpiAware = if config.setting.dpiAware then "yes" else "no"; dpiAware = if config.setting.dpiAware then "yes" else "no";
fontStep = 1; borderSize = toString config.style.window.border;
fontStep = 1;
in { in {
file = (pkgs.formats.iniWithGlobalSection {}).generate "FootConfig" { file = (pkgs.formats.iniWithGlobalSection {}).generate "FootConfig" {
globalSection = { globalSection = {
@ -10,6 +11,7 @@ in {
font-bold-italic = "${config.style.font.monospace.name}:size=${toString config.style.font.size.terminal}"; font-bold-italic = "${config.style.font.monospace.name}:size=${toString config.style.font.size.terminal}";
dpi-aware = dpiAware; dpi-aware = dpiAware;
font-size-adjustment = fontStep; font-size-adjustment = fontStep;
pad = "${borderSize}x${borderSize} center";
}; };
sections = { sections = {