Hello, I now posted a patch. In case sourceforge forgets to send a mail, please look at https://sourceforge.net/tracker/index.php?func=detail&aid=1333679&group_id=5470&atid=305470 It's about being able to type unicode chars in the interactive shell. Noam