diff -r 9aff1dc3990d -r fcf6d5fac8f5 ui/gtk/button.h
--- a/ui/gtk/button.h	Sat Jan 23 23:44:41 2016 +0100
+++ b/ui/gtk/button.h	Sun Jan 24 11:59:58 2016 +0100
@@ -41,6 +41,8 @@
 void ui_button_clicked(GtkWidget *widget, UiEventData *event);
 void ui_button_toggled(GtkToggleToolButton *widget, UiEventData *event);
 
+int ui_radiobutton_get(UiInteger *value);
+void ui_radiobutton_set(UiInteger *value, int i);
 
 #ifdef	__cplusplus
 }