UI/SymbolsWidget.py

changeset 4975
c71c0afee067
parent 4970
dcbb14191a3b
child 5389
9b1c800daff3
diff -r 0f21662c0d2d -r c71c0afee067 UI/SymbolsWidget.py
--- a/UI/SymbolsWidget.py	Sat May 07 15:57:34 2016 +0200
+++ b/UI/SymbolsWidget.py	Sun May 08 11:45:55 2016 +0200
@@ -14,7 +14,7 @@
     str = unicode                               # __IGNORE_WARNING__
     chr = unichr                                # __IGNORE_WARNING__
     import htmlentitydefs as html_entities      # __IGNORE_WARNING__
-except NameError:
+except (NameError, ImportError):
     # Py3
     import html.entities as html_entities
 

eric ide

mercurial