diff options
| author | Marvin W <git@larma.de> | 2026-10-03 16:05:51 +0200 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2026-10-23 16:59:59 +0200 |
| commit | 2413442905e31f34cb0f77c9167003b3725760fe (patch) | |
| tree | ca9b9a00f8bcc56f120743e4ae2c8d0b509bd12c /main/src/ui/util | |
| parent | cd0d992b9b5d3ea29c7d4a3aab76ad53319ea162 (diff) | |
Drop supported for outdated dependency versions
Diffstat (limited to 'main/src/ui/util')
| -rw-r--r-- | main/src/ui/util/helper.vala | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/main/src/ui/util/helper.vala b/main/src/ui/util/helper.vala index e9035be0..a126a196 100644 --- a/main/src/ui/util/helper.vala +++ b/main/src/ui/util/helper.vala @@ -415,18 +415,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 && 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); - var button = menu_button.get_first_child() as Button; - if (button == null) return; - var box = button.child as Box; - if (box == null) return; - var image = box.get_first_child() as Image; - if (image == null) return; - image.pixel_size = pixel_size; -#endif } } |
