keyvalToUnicode

fun keyvalToUnicode(keyval: <Error class: unknown class>): <Error class: unknown class>

Convert from a GDK key symbol to the corresponding Unicode character.

Note that the conversion does not take the current locale into consideration, which might be expected for particular keyvals, such as %GDK_KEY_KP_Decimal.

Return

the corresponding unicode character, or 0 if there is no corresponding character.

Parameters

keyval

a GDK key symbol