305 if ed is not None: |
305 if ed is not None: |
306 ed.zoomTo(editorDict["Zoom"]) |
306 ed.zoomTo(editorDict["Zoom"]) |
307 if editorDict["Folds"]: |
307 if editorDict["Folds"]: |
308 ed.recolor() |
308 ed.recolor() |
309 ed.setContractedFolds(editorDict["Folds"]) |
309 ed.setContractedFolds(editorDict["Folds"]) |
310 ed.setCursorPosition(*editorDict["Cursor"]) |
310 ed.setCursorPosition(*editorDict["Cursor"]) |
311 |
311 |
312 # step 3: breakpoints |
312 # step 3: breakpoints |
313 # =================== |
313 # =================== |
314 bpModel = dbs.getBreakPointModel() |
314 bpModel = dbs.getBreakPointModel() |
315 bpModel.addBreakPoints(sessionDict["Breakpoints"]) |
315 bpModel.addBreakPoints(sessionDict["Breakpoints"]) |