--- 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()