changeset 2960:5d13d357896c

jp (xmlui): fixed encoding for raw_input in StringWidget
author Goffi <goffi@goffi.org>
date Fri, 14 Jun 2019 12:49:44 +0200 (2019-06-14)
parents 989b622faff6
children 620bbcec884c
files sat_frontends/jp/xmlui_manager.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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