diff options
| author | Marvin W <git@larma.de> | 2022-11-10 22:32:19 +0100 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2022-11-10 22:32:19 +0100 |
| commit | cdd22e404eca3db640b6f2f2789314f7cbb65de6 (patch) | |
| tree | 51f08d5d13ca60287c294c3e51f9bdf56ae21367 /main/src | |
| parent | a2e894dda132f1679ee8e9998879be6bda7ab320 (diff) | |
| download | dino-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.vala | 2 |
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); |