aboutsummaryrefslogtreecommitdiff
path: root/main/src
diff options
context:
space:
mode:
authorMarvin W <git@larma.de>2022-11-10 22:32:19 +0100
committerMarvin W <git@larma.de>2022-11-10 22:32:19 +0100
commitcdd22e404eca3db640b6f2f2789314f7cbb65de6 (patch)
tree51f08d5d13ca60287c294c3e51f9bdf56ae21367 /main/src
parenta2e894dda132f1679ee8e9998879be6bda7ab320 (diff)
downloaddino-cdd22e404eca3db640b6f2f2789314f7cbb65de6.tar.gz
dino-cdd22e404eca3db640b6f2f2789314f7cbb65de6.zip
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.
Diffstat (limited to 'main/src')
-rw-r--r--main/src/ui/util/helper.vala2
1 files changed, 1 insertions, 1 deletions
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);