--- a/Helpviewer/HelpWindow.py Sun Jul 22 15:23:08 2012 +0200
+++ b/Helpviewer/HelpWindow.py Thu Jul 26 18:38:15 2012 +0200
@@ -1801,6 +1801,7 @@
self.cookieJar().close()
+ self.bookmarksToolBar.setModel(None)
self.bookmarksManager().close()
self.historyManager().close()