157 #endif |
157 #endif |
158 |
158 |
159 int ui_get_scalefactor(); |
159 int ui_get_scalefactor(); |
160 |
160 |
161 void ui_set_name_and_style(GtkWidget *widget, const char *name, const char *style); |
161 void ui_set_name_and_style(GtkWidget *widget, const char *name, const char *style); |
|
162 void ui_set_widget_groups(UiContext *ctx, GtkWidget *widget, const int *groups); |
162 |
163 |
163 void ui_destroy_userdata(GtkWidget *object, void *userdata); |
164 void ui_destroy_userdata(GtkWidget *object, void *userdata); |
164 void ui_destroy_vardata(GtkWidget *object, UiVarEventData *data); |
165 void ui_destroy_vardata(GtkWidget *object, UiVarEventData *data); |
165 void ui_destroy_boundvar(UiContext *ctx, UiVar *var); |
166 void ui_destroy_boundvar(UiContext *ctx, UiVar *var); |
166 |
167 |