comparison: eric6/WebBrowser/Session/SessionManager.py
eric6/WebBrowser/Session/SessionManager.py
- changeset 7781
- 607a6098cb44
- parent 7775
- 4a1db75550bd
- child 7785
- 9978016560ec
equal
deleted
inserted
replaced
4 # |
4 # |
5 |
5 |
6 """ |
6 """ |
7 Module implementing the session manager. |
7 Module implementing the session manager. |
8 """ |
8 """ |
9 |
|
10 |
9 |
11 import os |
10 import os |
12 import json |
11 import json |
13 |
12 |
14 from PyQt5.QtCore import ( |
13 from PyQt5.QtCore import ( |