--- a/ui/gtk/button.h Mon Feb 12 21:13:23 2024 +0100
+++ b/ui/gtk/button.h Sun Jun 09 15:43:08 2024 +0200
@@ -37,6 +37,8 @@
extern "C" {
#endif
+void ui_button_set_icon_name(GtkWidget *button, const char *icon_name);
+
// event wrapper
void ui_button_clicked(GtkWidget *widget, UiEventData *event);