comparison sat_frontends/jp/xmlui_manager.py @ 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
parents 18a98a541f7a
children 620bbcec884c
comparison
equal deleted inserted replaced
2959:989b622faff6 2960:5d13d357896c
221 elems = [] 221 elems = []
222 self.verboseName(elems) 222 self.verboseName(elems)
223 if self.value: 223 if self.value:
224 elems.append(_(u"(enter: {default})").format(default=self.value)) 224 elems.append(_(u"(enter: {default})").format(default=self.value))
225 elems.extend([C.A_HEADER, u"> "]) 225 elems.extend([C.A_HEADER, u"> "])
226 value = raw_input(A.color(*elems)) 226 value = raw_input(A.color(*elems).encode('utf-8'))
227 if value: 227 if value:
228 #  TODO: empty value should be possible 228 #  TODO: empty value should be possible
229 # an escape key should be used for default instead of enter with empty value 229 # an escape key should be used for default instead of enter with empty value
230 self.value = value 230 self.value = value
231 231