65 |
65 |
66 # make ThirdParty package available as a packages repository |
66 # make ThirdParty package available as a packages repository |
67 sys.path.insert(2, os.path.join(os.path.dirname(__file__), |
67 sys.path.insert(2, os.path.join(os.path.dirname(__file__), |
68 "ThirdParty", "Pygments")) |
68 "ThirdParty", "Pygments")) |
69 |
69 |
70 ##import Preferences |
|
71 ##if Preferences.getWebBrowser("WebInspectorEnabled"): |
|
72 ## os.environ["QTWEBENGINE_REMOTE_DEBUGGING"] = \ |
|
73 ## str(Preferences.getWebBrowser("WebInspectorPort")) |
|
74 from PyQt5 import QtWebEngineWidgets # __IGNORE_WARNING__ |
70 from PyQt5 import QtWebEngineWidgets # __IGNORE_WARNING__ |
75 |
71 |
76 import Globals |
72 import Globals |
77 from Globals import AppInfo |
73 from Globals import AppInfo |
78 |
74 |