6163 # clear breakpoint markers |
6163 # clear breakpoint markers |
6164 for handle in list(self.breaks.keys()): |
6164 for handle in list(self.breaks.keys()): |
6165 self.markerDeleteHandle(handle) |
6165 self.markerDeleteHandle(handle) |
6166 self.breaks = {} |
6166 self.breaks = {} |
6167 |
6167 |
|
6168 if not os.path.exists(self.fileName): |
|
6169 # close the file, if it was deleted in the background |
|
6170 self.close() |
|
6171 return |
|
6172 |
6168 # reread the file |
6173 # reread the file |
6169 try: |
6174 try: |
6170 self.readFile(self.fileName) |
6175 self.readFile(self.fileName) |
6171 except IOError: |
6176 except IOError: |
6172 # do not prompt for this change again... |
6177 # do not prompt for this change again... |