WebBrowser/AdBlock/AdBlockManager.py

changeset 6326
5ef9456a0cbe
parent 6160
70441ce79d5a
child 6645
ad476851d7e0
--- a/WebBrowser/AdBlock/AdBlockManager.py	Mon Jun 04 19:56:34 2018 +0200
+++ b/WebBrowser/AdBlock/AdBlockManager.py	Tue Jun 05 19:14:10 2018 +0200
@@ -638,10 +638,17 @@
         """
         Private slot to update the adblock matcher.
         """
+        from WebBrowser.WebBrowserWindow import WebBrowserWindow
+        WebBrowserWindow.networkManager().removeUrlInterceptor(
+            self.__interceptor)
+        
         if self.__enabled:
             self.__matcher.update()
         else:
             self.__matcher.clear()
+        
+        WebBrowserWindow.networkManager().installUrlInterceptor(
+            self.__interceptor)
     
     def __canBeBlocked(self, url):
         """

eric ide

mercurial