comparison: eric6/UI/UserInterface.py
eric6/UI/UserInterface.py
- changeset 7781
- 607a6098cb44
- parent 7759
- 51aa6c6b66f7
- child 7785
- 9978016560ec
equal
deleted
inserted
replaced
4 # |
4 # |
5 |
5 |
6 """ |
6 """ |
7 Module implementing the main user interface. |
7 Module implementing the main user interface. |
8 """ |
8 """ |
9 |
|
10 |
9 |
11 import os |
10 import os |
12 import sys |
11 import sys |
13 import logging |
12 import logging |
14 |
13 |