--- a/eric6_browser.py Sat Feb 27 20:51:44 2016 +0100 +++ b/eric6_browser.py Sun Feb 28 12:48:12 2016 +0100 @@ -67,6 +67,10 @@ 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