diff -r f4d7cfdadc3f -r cdd346d8858b UI/SymbolsWidget.py --- a/UI/SymbolsWidget.py Fri Mar 17 19:25:58 2017 +0100 +++ b/UI/SymbolsWidget.py Fri Mar 17 19:45:49 2017 +0100 @@ -11,8 +11,8 @@ try: # Py2 - str = unicode # __IGNORE_WARNING_M131__ - chr = unichr # __IGNORE_WARNING_M131__ + str = unicode + chr = unichr import htmlentitydefs as html_entities except (NameError, ImportError): # Py3