Searched refs:tab_scroll_w (Results 1 – 1 of 1) sorted by relevance
172 Widget tab_scroll_w; in tabline_scroller_clicked() local176 tab_scroll_w = XtNameToWidget(tabLine, scroller_name); in tabline_scroller_clicked()177 if (tab_scroll_w != (Widget)0) { in tabline_scroller_clicked()178 XtVaGetValues(tab_scroll_w, XmNx, &pos_x, XmNy, &pos_y, XmNwidth, in tabline_scroller_clicked()