Searched refs:file_menu_update_1 (Results 1 – 1 of 1) sorted by relevance
20720 static void file_menu_update_1(Widget w, XtPointer info, XtPointer context) in file_menu_update_1() function21535 XtAddCallback(file_cascade_menu, XmNcascadingCallback, file_menu_update_1, NULL); in add_menu()