Make window border size configurable.

Use the new preference FrameBorderWidth to configure the width of frame
window borders.
This commit is contained in:
Iain Patterson
2013-03-26 23:19:39 +00:00
committed by Carlos R. Mafra
parent dee30d06ac
commit 2affd6d484
13 changed files with 44 additions and 33 deletions
+2 -2
View File
@@ -294,8 +294,8 @@ static void set_width_height(WWindow *wwin, unsigned int *width, unsigned int *h
*height += RESIZEBAR_HEIGHT;
}
if (HAS_BORDER(wwin)) {
*height += 2 * FRAME_BORDER_WIDTH;
*width += 2 * FRAME_BORDER_WIDTH;
*height += 2 * wwin->screen_ptr->frame_border_width;
*width += 2 * wwin->screen_ptr->frame_border_width;
}
}