comparison: eric6/UI/SymbolsWidget.py
eric6/UI/SymbolsWidget.py
- changeset 7229
- 53054eb5b15a
- parent 7198
- 684261ef2165
- child 7264
- bedbe458d792
equal
deleted
inserted
replaced
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 |