Thu, 26 Jul 2012 18:38:15 +0200
Little fix for the web browser.
--- 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()