83 for file in files: |
83 for file in files: |
84 editor = self.vm.getOpenEditor(file) |
84 editor = self.vm.getOpenEditor(file) |
85 if editor is not None: |
85 if editor is not None: |
86 editor.clearBookmarks() |
86 editor.clearBookmarks() |
87 self.dbs.getBreakPointModel().deleteAll() |
87 self.dbs.getBreakPointModel().deleteAll() |
|
88 self.dbs.getWatchPointModel().deleteAll() |
88 self.version = '' |
89 self.version = '' |
89 |
90 |
90 ################################################### |
91 ################################################### |
91 ## below follow the individual handler functions |
92 ## below follow the individual handler functions |
92 ################################################### |
93 ################################################### |