devices/xditview/xditview.c

136 static Widget	toplevel, paned, viewport, dvi;
205     toplevel = XtAppInitialize(&xtcontext, "GXditview",
213     XtGetApplicationResources(toplevel, (XtPointer)&app_resources,
222 	      XCreateBitmapFromData (XtDisplay (toplevel),
223 				     XtScreen(toplevel)->root,
228 	      XCreateBitmapFromData (XtDisplay (toplevel),
229 				     XtScreen(toplevel)->root,
232     XtSetValues (toplevel, topLevelArgs, 2);
239     simpleMenu = XtCreatePopupShell ("menu", simpleMenuWidgetClass, toplevel,
248     paned = XtCreateManagedWidget("paned", panedWidgetClass, toplevel,
262     XtRealizeWidget (toplevel);
336 	XtSetValues (toplevel, arg, 2);
436     MakePrompt (toplevel, "Page number", SelectPageNumber, "");
506     MakePrompt (toplevel, "Print command:", DoPrint, fileBuf);
535     MakePrompt (toplevel, "File to open:", NewFile, fileBuf);
576 	XtSetKeyboardFocus(toplevel, (Widget) None);
608 				      toplevel, NULL, (Cardinal) 0);
627     XtSetKeyboardFocus (toplevel, valueWidget);