mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-22 14:08:06 +01:00
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 <christophe.curis@free.fr>
This commit is contained in:
committed by
Carlos R. Mafra
parent
ba3e575971
commit
9d9b6d3fcf
@@ -459,7 +459,7 @@ extern struct WPreferences {
|
|||||||
|
|
||||||
union WTexture *wsmbackTexture;
|
union WTexture *wsmbackTexture;
|
||||||
|
|
||||||
int show_clip_title;
|
char show_clip_title;
|
||||||
|
|
||||||
struct {
|
struct {
|
||||||
unsigned int nodock:1; /* don't display the dock */
|
unsigned int nodock:1; /* don't display the dock */
|
||||||
|
|||||||
Reference in New Issue
Block a user