307 PropModeReplace, |
307 PropModeReplace, |
308 (const unsigned char*)"dark", |
308 (const unsigned char*)"dark", |
309 4); |
309 4); |
310 } |
310 } |
311 |
311 |
312 void ui_destroy_eventdata(Widget w, XtPointer *data, XtPointer d) { |
312 void ui_destroy_eventdata(Widget w, XtPointer data, XtPointer d) { |
313 free(data); |
313 free(data); |
314 } |
314 } |
315 |
315 |
316 void ui_set_widget_groups(UiContext *ctx, Widget widget, const int *groups) { |
316 void ui_set_widget_groups(UiContext *ctx, Widget widget, const int *groups) { |
317 if(!groups) { |
317 if(!groups) { |