--- a/ui/gtk/button.h Fri Nov 10 18:04:40 2017 +0100 +++ b/ui/gtk/button.h Sat Nov 11 08:34:06 2017 +0100 @@ -41,6 +41,15 @@ void ui_button_clicked(GtkWidget *widget, UiEventData *event); void ui_button_toggled(GtkToggleToolButton *widget, UiEventData *event); + +void ui_toggled_obs(GtkToggleToolButton *widget, UiVarEventData *event); + +UIWIDGET ui_checkbox_var(UiObject *obj, char *label, UiVar *var); + +UIWIDGET ui_radiobutton_var(UiObject *obj, char *label, UiVar *var); + +void ui_radio_obs(GtkToggleToolButton *widget, UiVarEventData *event); + int ui_radiobutton_get(UiInteger *value); void ui_radiobutton_set(UiInteger *value, int i);