eric6/UI/SymbolsWidget.py

changeset 7229
53054eb5b15a
parent 7198
684261ef2165
child 7264
bedbe458d792
equal deleted inserted replaced
7228:6037ddba57aa 7229:53054eb5b15a
5 5
6 """ 6 """
7 Module implementing a widget to select a symbol in various formats. 7 Module implementing a widget to select a symbol in various formats.
8 """ 8 """
9 9
10 from __future__ import unicode_literals
11 10
12 import sys 11 import sys
13 import unicodedata 12 import unicodedata
14 import html.entities 13 import html.entities
15 14

eric ide

mercurial