Dear list,
how do I get the corresponding unicode from a keyboard_event?
--Jacques