# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1560509384 -7200
# Node ID 5d13d357896c683cb43c8e309acd0568ccbc78d2
# Parent  989b622faff617d02f92699c8ce9b510085bc8fb
jp (xmlui): fixed encoding for raw_input in StringWidget

diff -r 989b622faff6 -r 5d13d357896c sat_frontends/jp/xmlui_manager.py
--- a/sat_frontends/jp/xmlui_manager.py	Fri Jun 14 12:37:34 2019 +0200
+++ b/sat_frontends/jp/xmlui_manager.py	Fri Jun 14 12:49:44 2019 +0200
@@ -223,7 +223,7 @@
             if self.value:
                 elems.append(_(u"(enter: {default})").format(default=self.value))
             elems.extend([C.A_HEADER, u"> "])
-            value = raw_input(A.color(*elems))
+            value = raw_input(A.color(*elems).encode('utf-8'))
             if value:
                 #  TODO: empty value should be possible
                 #       an escape key should be used for default instead of enter with empty value