2:eeb50c534497 | 3:c1a75454b444 |
---|---|
42 void ui_toggle_button_set(UiInteger *i, int value); | 42 void ui_toggle_button_set(UiInteger *i, int value); |
43 void ui_toggle_button_callback( | 43 void ui_toggle_button_callback( |
44 Widget widget, | 44 Widget widget, |
45 UiEventData *data, | 45 UiEventData *data, |
46 XmToggleButtonCallbackStruct *e); | 46 XmToggleButtonCallbackStruct *e); |
47 void ui_push_button_callback(Widget widget, UiEventData *event, XtPointer d); | |
47 | 48 |
48 #ifdef __cplusplus | 49 #ifdef __cplusplus |
49 } | 50 } |
50 #endif | 51 #endif |
51 | 52 |