diff --git a/src/theme.c b/src/theme.c index c70edf34..4b014e7f 100644 --- a/src/theme.c +++ b/src/theme.c @@ -524,6 +524,7 @@ entry(struct theme *theme, const char *key, const char *value) } if (match_glob(key, "titlebar.height")) { theme->title_height = atoi(value); + wlr_log(WLR_ERROR, "updated title height to %d", theme->title_height); } if (match_glob(key, "menu.items.padding.x")) { theme->menu_item_padding_x = atoi(value); @@ -957,6 +958,9 @@ static void post_processing(struct theme *theme) { int h = MAX(font_height(&rc.font_activewindow), font_height(&rc.font_inactivewindow)); + wlr_log(WLR_ERROR, "got font height active: %d", font_height(&rc.font_activewindow)); + wlr_log(WLR_ERROR, "got font height inactive: %d", font_height(&rc.font_inactivewindow)); + wlr_log(WLR_ERROR, "got max font height: %d", h); if (theme->title_height < h) { wlr_log(WLR_ERROR, "adjusting title height to %d + 2 * padding_height (%d)", h, theme->padding_height);