QScintilla/Editor.py

changeset 3261
b8fee972444b
parent 3211
bb350913a76a
child 3325
d2d6dda86d32
equal deleted inserted replaced
3260:37bbdfba30bc 3261:b8fee972444b
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...

eric ide

mercurial