Searched full:border_width (Results 1 – 5 of 5) sorted by relevance
64 border_width: 0.5159 border_width: 5176 border_width: 0.75185 border_width: 0.75198 border_width: $base_border_width210 border_width: $base_border_width231 border_width: $base_border_width245 border_width: 0.25
57 unsigned int /* border_width */, \
191 unsigned int /* border_width */,
319 int border_width; /* border width of window */ member410 int border_width; member722 int border_width; /* border width */ member785 int border_width; member818 int border_width; member1636 unsigned int /* border_width */,1651 unsigned int /* border_width */,
809 unsigned int /* border_width */,