From 9d9b6d3fcf3553297c59c8b1fb20d2d03c9240d9 Mon Sep 17 00:00:00 2001 From: Christophe CURIS Date: Fri, 8 May 2015 13:19:00 +0200 Subject: [PATCH] wmaker: fix incorrect type for variable in the global preference structure As pointed by the new check script, the preference "show_clip_title" is defined as a Boolean value in the preference loading function, which uses the callback function "getBool", which expect a variable of type "char", but the variable was not defined with that type. This patch changes the type for the appropriate one to avoid possible problems. Signed-off-by: Christophe CURIS --- src/WindowMaker.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/WindowMaker.h b/src/WindowMaker.h index 0a1d81f6..ccdb6c8d 100644 --- a/src/WindowMaker.h +++ b/src/WindowMaker.h @@ -459,7 +459,7 @@ extern struct WPreferences { union WTexture *wsmbackTexture; - int show_clip_title; + char show_clip_title; struct { unsigned int nodock:1; /* don't display the dock */