QScintilla/Editor.py

branch
5_4_x
changeset 3262
fffe2df45766
parent 3169
7b1b754a60a6
child 3575
f44bcac6e829
equal deleted inserted replaced
3258:a2bec950a859 3262:fffe2df45766
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...

eric ide

mercurial