Searched refs:options_controls_callback (Results 1 – 1 of 1) sorted by relevance
20979 static void options_controls_callback(Widget w, XtPointer info, XtPointer context) {make_controls_d… in options_controls_callback() function21434 XtAddCallback(options_controls_menu, XmNactivateCallback, options_controls_callback, NULL); in add_menu()