diff -r bf810176ddb8 -r e5f4d8af567e ui/gtk/button.h
--- 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);