comparison sat_frontends/primitivus/xmlui.py @ 3028:ab2696e34d29

Python 3 port: /!\ this is a huge commit /!\ starting from this commit, SàT is needs Python 3.6+ /!\ SàT maybe be instable or some feature may not work anymore, this will improve with time This patch port backend, bridge and frontends to Python 3. Roughly this has been done this way: - 2to3 tools has been applied (with python 3.7) - all references to python2 have been replaced with python3 (notably shebangs) - fixed files not handled by 2to3 (notably the shell script) - several manual fixes - fixed issues reported by Python 3 that where not handled in Python 2 - replaced "async" with "async_" when needed (it's a reserved word from Python 3.7) - replaced zope's "implements" with @implementer decorator - temporary hack to handle data pickled in database, as str or bytes may be returned, to be checked later - fixed hash comparison for password - removed some code which is not needed anymore with Python 3 - deactivated some code which needs to be checked (notably certificate validation) - tested with jp, fixed reported issues until some basic commands worked - ported Primitivus (after porting dependencies like urwid satext) - more manual fixes
author Goffi <goffi@goffi.org>
date Tue, 13 Aug 2019 19:08:41 +0200
parents d86cddc1cd05
children 9d0df638c8b4
comparison
equal deleted inserted replaced
3027:ff5bcb12ae60 3028:ab2696e34d29
63 63
64 64
65 class PrimitivusDividerWidget(xmlui.DividerWidget, urwid.Divider): 65 class PrimitivusDividerWidget(xmlui.DividerWidget, urwid.Divider):
66 def __init__(self, _xmlui_parent, style="line"): 66 def __init__(self, _xmlui_parent, style="line"):
67 if style == "line": 67 if style == "line":
68 div_char = u"─" 68 div_char = "─"
69 elif style == "dot": 69 elif style == "dot":
70 div_char = u"·" 70 div_char = "·"
71 elif style == "dash": 71 elif style == "dash":
72 div_char = u"-" 72 div_char = "-"
73 elif style == "plain": 73 elif style == "plain":
74 div_char = u"█" 74 div_char = "█"
75 elif style == "blank": 75 elif style == "blank":
76 div_char = " " 76 div_char = " "
77 else: 77 else:
78 log.warning(_("Unknown div_char")) 78 log.warning(_("Unknown div_char"))
79 div_char = u"─" 79 div_char = "─"
80 80
81 urwid.Divider.__init__(self, div_char) 81 urwid.Divider.__init__(self, div_char)
82 82
83 83
84 class PrimitivusStringWidget( 84 class PrimitivusStringWidget(