Helpviewer/History/HistoryManager.py

changeset 644
7c1c3abedf1c
parent 539
87f9bce38a44
child 791
9ec2ac20e54e
equal deleted inserted replaced
643:719db11dd4df 644:7c1c3abedf1c
372 if not needToSort and history and lastInsertedItem < itm: 372 if not needToSort and history and lastInsertedItem < itm:
373 needToSort = True 373 needToSort = True
374 374
375 history.insert(0, itm) 375 history.insert(0, itm)
376 lastInsertedItem = itm 376 lastInsertedItem = itm
377 historyFile.close()
377 378
378 if needToSort: 379 if needToSort:
379 history.sort() 380 history.sort()
380 381
381 self.setHistory(history, True) 382 self.setHistory(history, True)

eric ide

mercurial