Mon, 27 Sep 2010 08:12:52 +0200
Fixed a little issue.
--- 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()