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.
This commit is contained in:
parent
a2e894dda1
commit
cdd22e404e
|
@ -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) {
|
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 });
|
menu_button.set_child(new Image.from_icon_name(icon_name) { pixel_size=pixel_size });
|
||||||
#else
|
#else
|
||||||
menu_button.set_icon_name(icon_name);
|
menu_button.set_icon_name(icon_name);
|
||||||
|
|
Loading…
Reference in a new issue