From 85768e896532434faaab693fd2fff130a418a7f5 Mon Sep 17 00:00:00 2001
From: Consolatis <35009135+Consolatis@users.noreply.github.com>
Date: Sat, 16 Mar 2024 09:37:14 +0100
Subject: [PATCH] [dirty] more debug

---
 src/theme.c | 4 ++++
 1 file changed, 4 insertions(+)

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);