widgets.console: fix pasting of CJK characters