Helpviewer/History/HistoryManager.py

branch
5_0_x
changeset 645
3750d548b351
parent 257
e03694226603
child 792
a13346916170
equal deleted inserted replaced
642:9f31d84cb2b1 645:3750d548b351
368 if not needToSort and history and lastInsertedItem < itm: 368 if not needToSort and history and lastInsertedItem < itm:
369 needToSort = True 369 needToSort = True
370 370
371 history.insert(0, itm) 371 history.insert(0, itm)
372 lastInsertedItem = itm 372 lastInsertedItem = itm
373 historyFile.close()
373 374
374 if needToSort: 375 if needToSort:
375 history.sort() 376 history.sort()
376 377
377 self.setHistory(history, True) 378 self.setHistory(history, True)

eric ide

mercurial