Helpviewer/History/HistoryManager.py

branch
6_1_x
changeset 5188
48af75c98cfe
parent 4632
ca310db386ed
child 5389
9b1c800daff3
equal deleted inserted replaced
5187:ef0fcefe97f8 5188:48af75c98cfe
503 self.tr("Saving History"), 503 self.tr("Saving History"),
504 self.tr( 504 self.tr(
505 """<p>Error moving new history file over old one """ 505 """<p>Error moving new history file over old one """
506 """(<b>{0}</b>).<br/>Reason: {1}</p>""") 506 """(<b>{0}</b>).<br/>Reason: {1}</p>""")
507 .format(historyFile.fileName(), f.errorString())) 507 .format(historyFile.fileName(), f.errorString()))
508 f.remove() # get rid of the temporary file
508 self.historySaved.emit() 509 self.historySaved.emit()
509 try: 510 try:
510 self.__lastSavedUrl = self.__history[0].url 511 self.__lastSavedUrl = self.__history[0].url
511 except IndexError: 512 except IndexError:
512 self.__lastSavedUrl = "" 513 self.__lastSavedUrl = ""

eric ide

mercurial