34 if not os.path.isdir(settingsDir): |
34 if not os.path.isdir(settingsDir): |
35 os.makedirs(settingsDir) |
35 os.makedirs(settingsDir) |
36 QSettings.setPath(QSettings.IniFormat, QSettings.UserScope, |
36 QSettings.setPath(QSettings.IniFormat, QSettings.UserScope, |
37 settingsDir) |
37 settingsDir) |
38 sys.argv.remove(arg) |
38 sys.argv.remove(arg) |
|
39 |
|
40 try: |
|
41 from PyQt5 import QtWebEngineWidgets # __IGNORE_WARNING__ |
|
42 except ImportError: |
|
43 pass |
39 |
44 |
40 # make ThirdParty package available as a packages repository |
45 # make ThirdParty package available as a packages repository |
41 sys.path.insert(2, os.path.join(os.path.dirname(__file__), |
46 sys.path.insert(2, os.path.join(os.path.dirname(__file__), |
42 "ThirdParty", "Pygments")) |
47 "ThirdParty", "Pygments")) |
43 |
48 |