Preferences/ConfigurationPages/HelpViewersPage.py

changeset 4619
aa2319888257
parent 4577
e79a139aacc4
child 4631
5c1a96925da4
--- a/Preferences/ConfigurationPages/HelpViewersPage.py	Wed Dec 23 19:08:09 2015 +0100
+++ b/Preferences/ConfigurationPages/HelpViewersPage.py	Fri Dec 25 14:03:57 2015 +0100
@@ -41,6 +41,15 @@
         
         # set initial values
         hvId = Preferences.getHelp("HelpViewerType")
+        # check availability of QtWebKit
+        try:
+            from PyQt5 import QtWebKit      # __IGNORE_WARNING__
+        except ImportError:
+            # not available, reset help viewer to default
+            if hvId == 1:
+                hvId = Preferences.Prefs.helpDefaults["HelpViewerType"]
+            self.helpBrowserButton.setEnabled(False)
+        
         if hvId == 1:
             self.helpBrowserButton.setChecked(True)
         elif hvId == 2:

eric ide

mercurial