mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 12:28:22 +01:00
Option to disable clip title
Completely disable clip caption. Original-patch-by: Alexey Voinov <voins@altlinux.ru> Signed-off-by: Alexey I. Froloff <raorn@altlinux.org>
This commit is contained in:
committed by
Carlos R. Mafra
parent
8d4819c7ea
commit
790917a8e7
@@ -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,
|
||||
|
||||
Reference in New Issue
Block a user