Searched refs:border_width (Results 1 – 1 of 1) sorted by relevance
113 XiWin->w = event.xconfigure.width - 2 * event.xconfigure.border_width; in PetscDrawXiWaitMap()114 XiWin->h = event.xconfigure.height - 2 * event.xconfigure.border_width; in PetscDrawXiWaitMap()136 unsigned int border_width = 0; in PetscDrawXiDisplayWindow() local177 …ndow(XiWin->disp, RootWindow(XiWin->disp, XiWin->screen), x, y, w, h, border_width, XiWin->depth, … in PetscDrawXiDisplayWindow()201 size_hints.min_width = 4 * border_width; in PetscDrawXiDisplayWindow()202 size_hints.min_height = 4 * border_width; in PetscDrawXiDisplayWindow()