Lines Matching refs:border_width
343 int border_width; /* border width of window */
434 int border_width;
746 int border_width; /* border width */
809 int border_width;
842 int border_width;
1636 unsigned int /* border_width */,
1651 unsigned int /* border_width */,
