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