# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1756619287 -7200
# Node ID 85588901880fc2984ea33e5537bca244b807a469
# Parent  f63d8125fcbde05cddd0e8039d1068616053e33d
avoid using deprecated GtkAlignment

diff -r f63d8125fcbd -r 85588901880f ui/gtk/list.c
--- a/ui/gtk/list.c	Sat Aug 30 16:59:35 2025 +0200
+++ b/ui/gtk/list.c	Sun Aug 31 07:48:07 2025 +0200
@@ -2053,7 +2053,7 @@
     if(item->badge) {
         GtkWidget *badge = gtk_label_new(item->badge);
         WIDGET_ADD_CSS_CLASS(badge, "ui-badge");
-#if GTK_CHECK_VERSION(4, 0, 0)
+#if GTK_CHECK_VERSION(3, 14, 0)
         gtk_widget_set_valign(badge, GTK_ALIGN_CENTER);
         BOX_ADD(hbox, badge);
 #else