--- Any strong arguments against having a bit more of useful vertical space?
(I use widescreens, so there is plenty of horizontal space but I always want more vertical space) src/wconfig.h.in | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/wconfig.h.in b/src/wconfig.h.in index f638327..6ea188e 100644 --- a/src/wconfig.h.in +++ b/src/wconfig.h.in @@ -185,7 +185,7 @@ #define DEF_WINDOW_TITLE_EXTEND_SPACE "0" #define DEF_MENU_TITLE_EXTEND_SPACE "0" #define DEF_MENU_TEXT_EXTEND_SPACE "0" -#define TITLEBAR_EXTEND_SPACE 4 +#define TITLEBAR_EXTEND_SPACE 1 #define DEF_XPM_CLOSENESS 40000 @@ -366,7 +366,7 @@ #define WM_PI 3.14159265358979323846 #define MIN_TITLEFONT_HEIGHT(h) ((h)>14 ? (h) : 14) #define TITLEBAR_HEIGHT 18 /* window's titlebar height */ -#define RESIZEBAR_HEIGHT 8 /* height of the resizebar */ +#define RESIZEBAR_HEIGHT 6 /* height of the resizebar */ #define FRAME_BORDER_WIDTH 1 /* width of window border for frames */ #define RESIZEBAR_MIN_WIDTH 20 /* min width of handles-corner_width */ #define RESIZEBAR_CORNER_WIDTH 28 /* width of the corner of resizebars */ -- 1.7.1.rc0.13.g7ec1e -- To unsubscribe, send mail to [email protected].
