--- a/eric6.e4p Tue Apr 25 19:20:18 2017 +0200 +++ b/eric6.e4p Wed Apr 26 19:06:23 2017 +0200 @@ -1343,7 +1343,6 @@ <Source>WebBrowser/GreaseMonkey/GreaseMonkeyJavaScript.py</Source> <Source>WebBrowser/GreaseMonkey/GreaseMonkeyManager.py</Source> <Source>WebBrowser/GreaseMonkey/GreaseMonkeyScript.py</Source> - <Source>WebBrowser/GreaseMonkey/GreaseMonkeyUrlInterceptor.py</Source> <Source>WebBrowser/GreaseMonkey/__init__.py</Source> <Source>WebBrowser/History/HistoryCompleter.py</Source> <Source>WebBrowser/History/HistoryDialog.py</Source>