UI/SymbolsWidget.py

changeset 5587
ea526b78ee6c
parent 5389
9b1c800daff3
child 5603
4f2dd0850803
equal deleted inserted replaced
5586:0e5421d679e7 5587:ea526b78ee6c
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__ 14 str = unicode # __IGNORE_WARNING_M131__
15 chr = unichr # __IGNORE_WARNING__ 15 chr = unichr # __IGNORE_WARNING_M131__
16 import htmlentitydefs as html_entities # __IGNORE_WARNING__ 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
21 import sys 21 import sys

eric ide

mercurial