--- a/Helpviewer/History/HistoryManager.py Sun Oct 03 11:30:20 2010 +0200
+++ b/Helpviewer/History/HistoryManager.py Sun Oct 03 11:31:50 2010 +0200
@@ -370,6 +370,7 @@
history.insert(0, itm)
lastInsertedItem = itm
+ historyFile.close()
if needToSort:
history.sort()