--- a/eric6_browser.py Sun Feb 28 18:49:07 2016 +0100 +++ b/eric6_browser.py Sun Feb 28 18:49:24 2016 +0100 @@ -67,10 +67,6 @@ sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) -##import Preferences -##if Preferences.getWebBrowser("WebInspectorEnabled"): -## os.environ["QTWEBENGINE_REMOTE_DEBUGGING"] = \ -## str(Preferences.getWebBrowser("WebInspectorPort")) from PyQt5 import QtWebEngineWidgets # __IGNORE_WARNING__ import Globals