353 browser = projectBrowser.getProjectBrowser(browserState["Name"]) |
353 browser = projectBrowser.getProjectBrowser(browserState["Name"]) |
354 if browser is not None: |
354 if browser is not None: |
355 browser.expandItemsByName(browserState["ExpandedItems"]) |
355 browser.expandItemsByName(browserState["ExpandedItems"]) |
356 |
356 |
357 # step 8: active window |
357 # step 8: active window |
358 vm.openFiles(sessionDict["ActiveWindow"]["Filename"]) |
358 if sessionDict["ActiveWindow"]: |
359 ed = vm.getOpenEditor(sessionDict["ActiveWindow"]["Filename"]) |
359 vm.openFiles(sessionDict["ActiveWindow"]["Filename"]) |
360 if ed is not None: |
360 ed = vm.getOpenEditor(sessionDict["ActiveWindow"]["Filename"]) |
361 ed.setCursorPosition(*sessionDict["ActiveWindow"]["Cursor"]) |
361 if ed is not None: |
362 ed.ensureCursorVisible() |
362 ed.setCursorPosition(*sessionDict["ActiveWindow"]["Cursor"]) |
|
363 ed.ensureCursorVisible() |
363 |
364 |
364 return True |
365 return True |