41 |
41 |
42 // event wrapper |
42 // event wrapper |
43 void ui_button_clicked(GtkWidget *widget, UiEventData *event); |
43 void ui_button_clicked(GtkWidget *widget, UiEventData *event); |
44 |
44 |
45 |
45 |
46 void ui_toggled_obs(GtkToggleToolButton *widget, UiVarEventData *event); |
46 void ui_toggled_obs(GtkToggleButton *widget, UiVarEventData *event); |
47 |
47 |
48 UIWIDGET ui_checkbox_var(UiObject *obj, char *label, UiVar *var); |
48 UIWIDGET ui_checkbox_var(UiObject *obj, char *label, UiVar *var); |
49 |
49 |
50 UIWIDGET ui_radiobutton_var(UiObject *obj, char *label, UiVar *var); |
50 UIWIDGET ui_radiobutton_var(UiObject *obj, char *label, UiVar *var); |
51 |
51 |
52 void ui_radio_obs(GtkToggleToolButton *widget, UiVarEventData *event); |
52 void ui_radio_obs(GtkToggleButton *widget, UiVarEventData *event); |
53 |
53 |
54 int64_t ui_radiobutton_get(UiInteger *value); |
54 int64_t ui_radiobutton_get(UiInteger *value); |
55 void ui_radiobutton_set(UiInteger *value, int64_t i); |
55 void ui_radiobutton_set(UiInteger *value, int64_t i); |
56 |
56 |
57 #ifdef __cplusplus |
57 #ifdef __cplusplus |