Fixed the forgotten call to close the user agents manager.

Sun, 05 Feb 2012 19:45:03 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 05 Feb 2012 19:45:03 +0100
changeset 1602
3e6d0d91ac3a
parent 1601
b0344f1f262a
child 1603
78e467568df7

Fixed the forgotten call to close the user agents manager.

Helpviewer/HelpWindow.py file | annotate | diff | comparison | revisions
--- a/Helpviewer/HelpWindow.py	Sun Feb 05 17:50:30 2012 +0100
+++ b/Helpviewer/HelpWindow.py	Sun Feb 05 19:45:03 2012 +0100
@@ -1833,6 +1833,8 @@
         
         self.adblockManager().close()
         
+        self.userAgentsManager().close()
+        
         self.searchEdit.openSearchManager().close()
         
         self.__searchEngine.cancelIndexing()

eric ide

mercurial