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