Fixed a little issue. 5_0_x

Mon, 27 Sep 2010 08:12:52 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Mon, 27 Sep 2010 08:12:52 +0200
branch
5_0_x
changeset 645
3750d548b351
parent 642
9f31d84cb2b1
child 649
c637bce45821

Fixed a little issue.

Helpviewer/History/HistoryManager.py file | annotate | diff | comparison | revisions
diff -r 9f31d84cb2b1 -r 3750d548b351 Helpviewer/History/HistoryManager.py
--- 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