--- a/eric6/UI/SymbolsWidget.py Mon Oct 12 18:23:44 2020 +0200
+++ b/eric6/UI/SymbolsWidget.py Mon Oct 12 19:28:42 2020 +0200
@@ -7,7 +7,6 @@
Module implementing a widget to select a symbol in various formats.
"""
-
import sys
import unicodedata
import html.entities