Mercurial Repositories > eric / file comparison
comparison: WebBrowser/History/HistoryManager.py
WebBrowser/History/HistoryManager.py
- changeset 5189
- 8fa3e3d379d1
- parent 4910
- e97af1181efd
- child 5389
- 9b1c800daff3
equal
deleted
inserted
replaced
| 5185:a55cbfbd715e | 5189:8fa3e3d379d1 |
|---|---|
| 481 self.tr("Saving History"), | 481 self.tr("Saving History"), |
| 482 self.tr( | 482 self.tr( |
| 483 """<p>Error moving new history file over old one """ | 483 """<p>Error moving new history file over old one """ |
| 484 """(<b>{0}</b>).<br/>Reason: {1}</p>""") | 484 """(<b>{0}</b>).<br/>Reason: {1}</p>""") |
| 485 .format(historyFile.fileName(), f.errorString())) | 485 .format(historyFile.fileName(), f.errorString())) |
| 486 f.remove() # get rid of the temporary file | |
| 486 self.historySaved.emit() | 487 self.historySaved.emit() |
| 487 try: | 488 try: |
| 488 self.__lastSavedUrl = self.__history[0].url | 489 self.__lastSavedUrl = self.__history[0].url |
| 489 except IndexError: | 490 except IndexError: |
| 490 self.__lastSavedUrl = "" | 491 self.__lastSavedUrl = "" |
