comparison: ui/gtk/button.h
ui/gtk/button.h
- changeset 142
- 46448d38885c
- parent 140
- c03c338a7dcf
- child 144
- 29d98cff4f56
equal
deleted
inserted
replaced
| 141:cc2170ea05ad | 142:46448d38885c |
|---|---|
| 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 | |
| 45 void ui_toggled_obs(GtkToggleToolButton *widget, UiVarEventData *event); | |
| 46 | |
| 47 UIWIDGET ui_checkbox_var(UiObject *obj, char *label, UiVar *var); | |
| 48 | |
| 49 UIWIDGET ui_radiobutton_var(UiObject *obj, char *label, UiVar *var); | |
| 50 | |
| 51 void ui_radio_obs(GtkToggleToolButton *widget, UiVarEventData *event); | |
| 52 | |
| 44 int ui_radiobutton_get(UiInteger *value); | 53 int ui_radiobutton_get(UiInteger *value); |
| 45 void ui_radiobutton_set(UiInteger *value, int i); | 54 void ui_radiobutton_set(UiInteger *value, int i); |
| 46 | 55 |
| 47 #ifdef __cplusplus | 56 #ifdef __cplusplus |
| 48 } | 57 } |
