From c172c2aaab109216b2aa748443127a76e2a90f67 Mon Sep 17 00:00:00 2001 From: Lucas Date: Sun, 22 Sep 2019 17:06:27 +0000 Subject: [PATCH] Add a variable in hlwm theme for font height Use it to fix bar height after font size change. --- xdg-config-dir/herbstluftwm/autostart | 3 +-- xdg-config-dir/herbstluftwm/theme | 2 ++ 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/xdg-config-dir/herbstluftwm/autostart b/xdg-config-dir/herbstluftwm/autostart index e8d1e0b..e28cfa7 100755 --- a/xdg-config-dir/herbstluftwm/autostart +++ b/xdg-config-dir/herbstluftwm/autostart @@ -163,8 +163,7 @@ hc unlock hc detect_monitors if [ -f ~/.config/herbstluftwm/herbstpanel.sh ]; then - font_height=13 - bar_height=$(($font_height)) + bar_height=$(($hlwm_font_height)) for m in $(hc list_monitors | cut -d : -f 1); do hc pad "$m" 0 0 $bar_height 0 hc monitor_rect "$m" | { diff --git a/xdg-config-dir/herbstluftwm/theme b/xdg-config-dir/herbstluftwm/theme index f371d1d..368f37c 100644 --- a/xdg-config-dir/herbstluftwm/theme +++ b/xdg-config-dir/herbstluftwm/theme @@ -30,3 +30,5 @@ : ${hlwm_font="-misc-fixed-medium-r-normal--14-130-75-75-c-70-iso10646-1"} : ${hlwm_face="Fixed:pixelsize=14"} + +: ${hlwm_font_height=14}