eric6/WebBrowser/Session/SessionManager.py

changeset 8205
4a0f1f896341
parent 8143
2c730d5fd177
child 8218
7c09585bd960
equal deleted inserted replaced
8204:fd477cded1c1 8205:4a0f1f896341
25 25
26 import Utilities 26 import Utilities
27 import Preferences 27 import Preferences
28 28
29 29
30 class SessionMetaData(object): 30 class SessionMetaData:
31 """ 31 """
32 Class implementing a data structure to store meta data for a session. 32 Class implementing a data structure to store meta data for a session.
33 """ 33 """
34 def __init__(self): 34 def __init__(self):
35 """ 35 """
415 # close all existing windows 415 # close all existing windows
416 for win in WebBrowserWindow.mainWindows()[:]: 416 for win in WebBrowserWindow.mainWindows()[:]:
417 if win is not window: 417 if win is not window:
418 win.forceClose() 418 win.forceClose()
419 419
420 if not ((flags & SessionManager.ReplaceSession) == 420 if (
421 SessionManager.ReplaceSession): 421 (flags & SessionManager.ReplaceSession) !=
422 SessionManager.ReplaceSession
423 ):
422 self.__lastActiveSession = ( 424 self.__lastActiveSession = (
423 QFileInfo(sessionFilePath).canonicalFilePath() 425 QFileInfo(sessionFilePath).canonicalFilePath()
424 ) 426 )
425 self.__sessionMetaData = [] 427 self.__sessionMetaData = []
426 428

eric ide

mercurial