Helpviewer/History/HistoryManager.py

branch
5_0_x
changeset 645
3750d548b351
parent 257
e03694226603
child 792
a13346916170
--- a/Helpviewer/History/HistoryManager.py	Sun Sep 26 15:23:26 2010 +0200
+++ b/Helpviewer/History/HistoryManager.py	Mon Sep 27 08:12:52 2010 +0200
@@ -370,6 +370,7 @@
             
             history.insert(0, itm)
             lastInsertedItem = itm
+        historyFile.close()
         
         if needToSort:
             history.sort()

eric ide

mercurial