From cdd22e404eca3db640b6f2f2789314f7cbb65de6 Mon Sep 17 00:00:00 2001
From: Marvin W <git@larma.de>
Date: Thu, 10 Nov 2022 22:32:19 +0100
Subject: [PATCH] Fix build with Vala < 0.52

MenuButton.set_child was only added to VAPIs of 0.52 and later.
Even if GTK4 is new enough, they wouldn't be available.
---
 main/src/ui/util/helper.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main/src/ui/util/helper.vala b/main/src/ui/util/helper.vala
index 0f0fc605..58614bb8 100644
--- a/main/src/ui/util/helper.vala
+++ b/main/src/ui/util/helper.vala
@@ -453,7 +453,7 @@ public bool use_tooltips() {
 }
 
 public static void menu_button_set_icon_with_size(MenuButton menu_button, string icon_name, int pixel_size) {
-#if GTK_4_6
+#if GTK_4_6 && VALA_0_52
     menu_button.set_child(new Image.from_icon_name(icon_name) { pixel_size=pixel_size });
 #else
     menu_button.set_icon_name(icon_name);