diff -r 0e5421d679e7 -r ea526b78ee6c UI/SymbolsWidget.py --- a/UI/SymbolsWidget.py Tue Mar 07 18:46:09 2017 +0100 +++ b/UI/SymbolsWidget.py Tue Mar 07 18:53:18 2017 +0100 @@ -11,9 +11,9 @@ try: # Py2 - str = unicode # __IGNORE_WARNING__ - chr = unichr # __IGNORE_WARNING__ - import htmlentitydefs as html_entities # __IGNORE_WARNING__ + str = unicode # __IGNORE_WARNING_M131__ + chr = unichr # __IGNORE_WARNING_M131__ + import htmlentitydefs as html_entities except (NameError, ImportError): # Py3 import html.entities as html_entities