| 323 PropModeReplace, |
323 PropModeReplace, |
| 324 (const unsigned char*)"dark", |
324 (const unsigned char*)"dark", |
| 325 4); |
325 4); |
| 326 } |
326 } |
| 327 |
327 |
| 328 void ui_destroy_eventdata(Widget w, XtPointer data, XtPointer d) { |
328 void ui_destroy_data(Widget w, XtPointer data, XtPointer d) { |
| 329 free(data); |
329 free(data); |
| 330 } |
330 } |
| 331 |
331 |
| 332 void ui_set_widget_groups(UiContext *ctx, Widget widget, const int *groups) { |
332 void ui_set_widget_groups(UiContext *ctx, Widget widget, const int *groups) { |
| 333 if(!groups) { |
333 if(!groups) { |