@ -152,6 +152,7 @@ static const char* get_button_name(int button)
static const char* get_character_string(int character)
{
// This assumes UTF-8, which is stupid
static char result[6 + 1];
int length = wctomb(result, character);