519 void ui_menu_event_wrapper(Widget widget, XtPointer udata, XtPointer cdata) { |
519 void ui_menu_event_wrapper(Widget widget, XtPointer udata, XtPointer cdata) { |
520 UiEventData *event = udata; |
520 UiEventData *event = udata; |
521 UiEvent e; |
521 UiEvent e; |
522 e.obj = event->obj; |
522 e.obj = event->obj; |
523 e.window = event->obj->window; |
523 e.window = event->obj->window; |
524 e.document = event->obj->document; |
524 e.document = event->obj->ctx->document; |
525 e.intval = 0; |
525 e.intval = 0; |
526 event->callback(&e, event->user_data); |
526 event->callback(&e, event->user_data); |
527 } |
527 } |