--- a/ui/gtk/button.h Sat Apr 12 13:44:53 2014 +0200
+++ b/ui/gtk/button.h Sat May 10 15:43:22 2014 +0200
@@ -38,6 +38,7 @@
// event wrapper
void ui_button_clicked(GtkWidget *widget, UiEventData *event);
+void ui_button_toggled(GtkToggleToolButton *widget, UiEventData *event);
#ifdef __cplusplus