Lines Matching defs:porthole
731 * panner/porthole controls - called when the other changes
736 XtPointer closure, /* porthole widget */
752 porthole_callback(Widget gw, /* porthole widget */
882 Widget toplevel, pane, box, dummy, porthole, panner, form;
1007 * create the panner and the porthole and then connect them with the
1011 porthole = XtCreateManagedWidget("porthole", portholeWidgetClass, form,
1018 callback_rec[0].closure = (XtPointer) porthole;
1023 XtSetValues(porthole, args, ONE);
1026 * now that the panner and porthole are set up, insert the tree and
1030 porthole, (ArgList) NULL, ZERO);
1057 XtGetValues(porthole, args, TWO);