39 |
39 |
40 // event wrapper |
40 // event wrapper |
41 void ui_button_clicked(GtkWidget *widget, UiEventData *event); |
41 void ui_button_clicked(GtkWidget *widget, UiEventData *event); |
42 void ui_button_toggled(GtkToggleToolButton *widget, UiEventData *event); |
42 void ui_button_toggled(GtkToggleToolButton *widget, UiEventData *event); |
43 |
43 |
|
44 int ui_radiobutton_get(UiInteger *value); |
|
45 void ui_radiobutton_set(UiInteger *value, int i); |
44 |
46 |
45 #ifdef __cplusplus |
47 #ifdef __cplusplus |
46 } |
48 } |
47 #endif |
49 #endif |
48 |
50 |