6144 # clear breakpoint markers |
6144 # clear breakpoint markers |
6145 for handle in list(self.breaks.keys()): |
6145 for handle in list(self.breaks.keys()): |
6146 self.markerDeleteHandle(handle) |
6146 self.markerDeleteHandle(handle) |
6147 self.breaks = {} |
6147 self.breaks = {} |
6148 |
6148 |
|
6149 if not os.path.exists(self.fileName): |
|
6150 # close the file, if it was deleted in the background |
|
6151 self.close() |
|
6152 return |
|
6153 |
6149 # reread the file |
6154 # reread the file |
6150 try: |
6155 try: |
6151 self.readFile(self.fileName) |
6156 self.readFile(self.fileName) |
6152 except IOError: |
6157 except IOError: |
6153 # do not prompt for this change again... |
6158 # do not prompt for this change again... |