Lines Matching defs:shell
1256 * shell - shell widget of the popup
1263 * name of the child and the shell widget of the dialog.
1269 SetResourceByName(Widget shell, String name, String res_name, XtArgVal value)
1276 if ((temp_widget = XtNameToWidget(shell, buf)) != NULL) {
1346 * w - shell widget
1350 * Centers a shell widget on a point relative to the root window.
1420 * Popup shell of the dialog
1454 * nearest shell widget.
1457 * w - widget whose parent shell should be returned
1460 * The shell widget among the ancestors of w that is the
1464 * Walks up the widget hierarchy to find the topmost shell widget.
1553 /* establish communication between the window manager and each shell */