Searched refs:filebutton (Results 1 – 1 of 1) sorted by relevance
958 Widget filebutton, helpbutton; in main() local1064 filebutton = XtVaCreateManagedWidget("File", menuButtonWidgetClass, in main()1073 filebutton, NULL); in main()