diff -r 9a5f47fbc5c3 -r 458831c574f4 ui/gtk/button.h
--- 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