Searched refs:scrollbar_width (Results 1 – 9 of 9) sorted by relevance
269 int scrollbar_width; // Width of vertical scrollbars member
460 gui.scrollbar_width = gui.scrollbar_height = SB_DEFAULT_WIDTH; in gui_init_check()1406 text_area_x += gui.scrollbar_width; in gui_position_components()1482 base_width += gui.scrollbar_width; in gui_get_base_width()1484 base_width += gui.scrollbar_width; in gui_get_base_width()4342 gui.scrollbar_width, h); in gui_update_scrollbars()4349 gui.scrollbar_width, h); in gui_update_scrollbars()
1053 - gtk_widget_get_allocated_width(gui.drawarea) - gui.scrollbar_width; in gui_mch_get_scrollbar_xpadding()1056 - gui.scrollbar_width; in gui_mch_get_scrollbar_xpadding()1059 xpad -= gui.scrollbar_width; in gui_mch_get_scrollbar_xpadding()
1742 ? gui.scrollbar_width : 0, in gui_mch_set_scrollbar_pos()1779 XtSetArg(args[n], XmNleftOffset, gui.scrollbar_width); n++; in gui_mch_enable_scrollbar()1783 XtSetArg(args[n], XmNrightOffset, gui.scrollbar_width); n++; in gui_mch_enable_scrollbar()
383 XtOffsetOf(gui_T, scrollbar_width),1272 gui.scrollbar_height = gui.scrollbar_width; in gui_mch_init()
3336 gui.scrollbar_width = (int) B_V_SCROLL_BAR_WIDTH; in gui_mch_init()3547 *screen_w = (int) frame.right - 2 * gui.scrollbar_width - 20; in gui_mch_get_screen_dimensions()
2637 gui.scrollbar_width = allocation.width; in drawarea_realize_cb()3460 gui.scrollbar_width = SB_DEFAULT_WIDTH; in gui_mch_init()
1416 xpad = rcWnd.right - rcTxt.right - gui.scrollbar_width in gui_mch_get_scrollbar_xpadding()5246 gui.scrollbar_width = GetSystemMetrics(SM_CXVSCROLL); in gui_mch_init()
98 syn keyword etermAttrOptions contained scrollbar_width desktop