Helpviewer/History/HistoryManager.py

changeset 9
911a9f7aef1e
parent 7
c679fb30c8f3
child 12
1d8dd9706f46
equal deleted inserted replaced
8:0ae9bd4d2993 9:911a9f7aef1e
281 break 281 break
282 282
283 itm = self.__history.pop(-1) 283 itm = self.__history.pop(-1)
284 self.__lastSavedUrl = "" 284 self.__lastSavedUrl = ""
285 self.emit(SIGNAL("entryRemoved"), itm) 285 self.emit(SIGNAL("entryRemoved"), itm)
286 self.__saveTimer.saveIfNeccessary()
286 287
287 if nextTimeout > 0: 288 if nextTimeout > 0:
288 self.__expiredTimer.start(nextTimeout * 1000) 289 self.__expiredTimer.start(nextTimeout * 1000)
289 290
290 def daysToExpire(self): 291 def daysToExpire(self):
400 saveAll = True 401 saveAll = True
401 402
402 if saveAll: 403 if saveAll:
403 # use a temporary file when saving everything 404 # use a temporary file when saving everything
404 f = QTemporaryFile() 405 f = QTemporaryFile()
406 f.setAutoRemove(False)
405 opened = f.open() 407 opened = f.open()
406 else: 408 else:
407 f = historyFile 409 f = historyFile
408 opened = f.open(QIODevice.Append) 410 opened = f.open(QIODevice.Append)
409 411

eric ide

mercurial