eric6/WebBrowser/Session/SessionManager.py

changeset 7781
607a6098cb44
parent 7775
4a1db75550bd
child 7785
9978016560ec
equal deleted inserted replaced
7780:41420f82c0ac 7781:607a6098cb44
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 (

eric ide

mercurial