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 <[email protected]> --- src/WindowMaker.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/WindowMaker.h b/src/WindowMaker.h index 0a1d81f..ccdb6c8 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 */ -- 2.1.4 -- To unsubscribe, send mail to [email protected].
