diff --git a/src/WindowMaker.h b/src/WindowMaker.h index 301e0333..37f55577 100644 --- a/src/WindowMaker.h +++ b/src/WindowMaker.h @@ -422,6 +422,8 @@ typedef struct WPreferences { RImage *swtileImage; RImage *swbackImage[9]; + int show_clip_title; + struct { unsigned int nodock:1; /* don't display the dock */ unsigned int noclip:1; /* don't display the clip */ diff --git a/src/defaults.c b/src/defaults.c index d06f2ced..6e002bdf 100644 --- a/src/defaults.c +++ b/src/defaults.c @@ -466,6 +466,8 @@ WDefaultEntry optionList[] = { NULL, getFont, setIconTitleFont, NULL, NULL}, {"ClipTitleFont", DEF_CLIP_TITLE_FONT, NULL, NULL, getFont, setClipTitleFont, NULL, NULL}, + {"ShowClipTitle", "YES", NULL, + &wPreferences.show_clip_title, getBool, NULL, NULL, NULL}, {"LargeDisplayFont", DEF_WORKSPACE_NAME_FONT, NULL, NULL, getFont, setLargeDisplayFont, NULL, NULL}, {"HighlightColor", "white", NULL, diff --git a/src/dock.c b/src/dock.c index 7e6d926c..3df2759d 100644 --- a/src/dock.c +++ b/src/dock.c @@ -1181,7 +1181,8 @@ void wClipIconPaint(WAppIcon * aicon) tx = CLIP_BUTTON_SIZE * ICON_SIZE / 64; - WMDrawString(scr->wmscreen, win, color, scr->clip_title_font, tx, ty, ws_name, length); + if(wPreferences.show_clip_title) + WMDrawString(scr->wmscreen, win, color, scr->clip_title_font, tx, ty, ws_name, length); /*WMDrawString(scr->wmscreen, win, color, scr->clip_title_font, 4, 2, ws_name, length); */