97 |
97 |
98 void ui_push_button_callback(Widget widget, UiEventData *event, XtPointer d) { |
98 void ui_push_button_callback(Widget widget, UiEventData *event, XtPointer d) { |
99 UiEvent e; |
99 UiEvent e; |
100 e.obj = event->obj; |
100 e.obj = event->obj; |
101 e.window = event->obj->window; |
101 e.window = event->obj->window; |
102 e.document = event->obj->document; |
102 e.document = event->obj->ctx->document; |
103 e.intval = event->value; |
103 e.intval = event->value; |
104 event->callback(&e, event->user_data); |
104 event->callback(&e, event->user_data); |
105 } |
105 } |