mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 12:28:22 +01:00
Repair defaults for new titlebar button style
Originally missed in 17cc7c3c
Signed-off-by: Tamas TEVESZ <ice@extreme.hu>
This commit is contained in:
committed by
Carlos R. Mafra
parent
4478f21b7f
commit
f206c15fea
@@ -1210,7 +1210,7 @@ static int string2index(WMPropList * key, WMPropList * val, char *def, WOptionEn
|
||||
sizeof(buffer)-strlen(buffer)-1, "\"%s\"", v->string);
|
||||
}
|
||||
}
|
||||
wwarning(_("wrong option value for key \"%s\". Got \"%s\", should be one of %s"),
|
||||
wwarning(_("wrong option value for key \"%s\"; got \"%s\", should be one of %s."),
|
||||
WMGetFromPLString(key),
|
||||
WMIsPLString(val) ? WMGetFromPLString(val) : "(unknown)",
|
||||
buffer);
|
||||
|
||||
Reference in New Issue
Block a user