# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1765903344 -3600
# Node ID f2b535f6e597c62102d7e568b38881f4751e082a
# Parent  18fbc36e1e70e0690b39dd2b439c9888d9e7d6d6
fix gtk4 build

diff -r 18fbc36e1e70 -r f2b535f6e597 ui/gtk/headerbar.h
--- a/ui/gtk/headerbar.h	Mon Dec 15 20:42:56 2025 +0100
+++ b/ui/gtk/headerbar.h	Tue Dec 16 17:42:24 2025 +0100
@@ -56,7 +56,7 @@
 #define UI_HEADERBAR_SETTINGS(h)
 #if GTK_MAJOR_VERSION >= 4
 #define UI_HEADERBAR_SET_TITLE_WIDGET(h, w) gtk_header_bar_set_title_widget(GTK_HEADER_BAR(h), w)
-#define UI_HEADERBAR_SHOW_TITLE_WIDGET(h, b) gtk_header_bar_set_show_title(GTK_HEADER_BAR(h), b)
+#define UI_HEADERBAR_SHOW_TITLE_WIDGET(h, b) 
 #else
 #define UI_HEADERBAR_SET_TITLE_WIDGET(h, w) gtk_header_bar_set_custom_title(GTK_HEADER_BAR(h), w)
 #define UI_HEADERBAR_SHOW_TITLE_WIDGET(h, b)