Lines Matching defs:clip_width
293 Dimension clip_height, clip_width;
333 clip_width = XtWidth(w);
337 clip_width = (Dimension)(clip_width - (XtWidth(h_bar) + XtBorderWidth(h_bar)));
343 XtSetArg(clip_args[arg_cnt], XtNwidth, clip_width); arg_cnt++;
525 int clip_width, clip_height;
531 clip_width = XtWidth(w);
540 &clip_width, &clip_height);
557 if (XtWidth(child) < clip_width)
558 intended.width = (Dimension)clip_width;
592 preferred.width > clip_width) { \
613 clip_width -= XtWidth(bar) + XtBorderWidth(bar);
614 if (clip_width < 1)
615 clip_width = 1;
620 if (!w->viewport.allowhoriz || preferred.width < clip_width) {
621 intended.width = (Dimension)clip_width;
645 XtResizeWidget(clip, (Dimension)clip_width, (Dimension)clip_height, 0);
660 XtResizeWidget(bar, (Dimension)clip_width, (Dimension)XtHeight(bar), (Dimension)bw);
710 * clip_width - size of clip window (used and returned)
718 int *clip_width, int *clip_height)
732 *clip_width -= XtWidth(w->viewport.vert_bar) +
744 AssignMax(*clip_width, 1);
752 intended->width = (Dimension)*clip_width;
782 if (*clip_width > (int)intended->width)
783 intended->width = (Dimension)*clip_width;