--- a/eric6.e4p Thu Dec 14 19:25:34 2017 +0100 +++ b/eric6.e4p Mon Dec 18 18:09:39 2017 +0100 @@ -1390,8 +1390,10 @@ <Source>WebBrowser/AdBlock/AdBlockExceptionsDialog.py</Source> <Source>WebBrowser/AdBlock/AdBlockIcon.py</Source> <Source>WebBrowser/AdBlock/AdBlockManager.py</Source> + <Source>WebBrowser/AdBlock/AdBlockMatcher.py</Source> <Source>WebBrowser/AdBlock/AdBlockPage.py</Source> <Source>WebBrowser/AdBlock/AdBlockRule.py</Source> + <Source>WebBrowser/AdBlock/AdBlockSearchTree.py</Source> <Source>WebBrowser/AdBlock/AdBlockSubscription.py</Source> <Source>WebBrowser/AdBlock/AdBlockTreeWidget.py</Source> <Source>WebBrowser/AdBlock/AdBlockUrlInterceptor.py</Source>