UI/SymbolsWidget.py

changeset 5624
cdd346d8858b
parent 5603
4f2dd0850803
child 5736
000ea446ff4b
equal deleted inserted replaced
5623:f4d7cfdadc3f 5624:cdd346d8858b
9 9
10 from __future__ import unicode_literals 10 from __future__ import unicode_literals
11 11
12 try: 12 try:
13 # Py2 13 # Py2
14 str = unicode # __IGNORE_WARNING_M131__ 14 str = unicode
15 chr = unichr # __IGNORE_WARNING_M131__ 15 chr = unichr
16 import htmlentitydefs as html_entities 16 import htmlentitydefs as html_entities
17 except (NameError, ImportError): 17 except (NameError, ImportError):
18 # Py3 18 # Py3
19 import html.entities as html_entities 19 import html.entities as html_entities
20 20

eric ide

mercurial