UI/SymbolsWidget.py

changeset 4975
c71c0afee067
parent 4970
dcbb14191a3b
child 5389
9b1c800daff3
equal deleted inserted replaced
4971:0f21662c0d2d 4975:c71c0afee067
12 try: 12 try:
13 # Py2 13 # Py2
14 str = unicode # __IGNORE_WARNING__ 14 str = unicode # __IGNORE_WARNING__
15 chr = unichr # __IGNORE_WARNING__ 15 chr = unichr # __IGNORE_WARNING__
16 import htmlentitydefs as html_entities # __IGNORE_WARNING__ 16 import htmlentitydefs as html_entities # __IGNORE_WARNING__
17 except NameError: 17 except (NameError, ImportError):
18 # Py3 18 # Py3
19 import html.entities as html_entities 19 import html.entities as html_entities
20 20
21 import sys 21 import sys
22 import unicodedata 22 import unicodedata

eric ide

mercurial