diff -r db48660ca7c0 -r 1265efa7364f Preferences/ConfigurationPages/EditorDocViewerPage.py
--- a/Preferences/ConfigurationPages/EditorDocViewerPage.py Wed Oct 24 19:59:49 2018 +0200
+++ b/Preferences/ConfigurationPages/EditorDocViewerPage.py Thu Oct 25 20:06:44 2018 +0200
@@ -29,20 +29,31 @@
self.setupUi(self)
self.setObjectName("EditorExportersPage")
- providers = e5App().getObject("DocuViewer").getProviders()
- for provider, text in providers:
- self.providerComboBox.addItem(text, provider)
-
- # set initial values
- self.parenthesisCheckBox.setChecked(
- Preferences.getDocuViewer("ShowInfoOnOpenParenthesis"))
-
- provider = Preferences.getDocuViewer("Provider")
- self.viewerGroupBox.setChecked(provider != "disabled")
+ try:
+ providers = e5App().getObject("DocuViewer").getProviders()
+ for provider, text in providers:
+ self.providerComboBox.addItem(text, provider)
+
+ self.infoLabel.clear()
+
+ # set initial values
+ self.parenthesisCheckBox.setChecked(
+ Preferences.getDocuViewer("ShowInfoOnOpenParenthesis"))
- index = self.providerComboBox.findData(provider)
- if index >= 0:
- self.providerComboBox.setCurrentIndex(index)
+ provider = Preferences.getDocuViewer("Provider")
+ self.viewerGroupBox.setChecked(provider != "disabled")
+
+ index = self.providerComboBox.findData(provider)
+ if index >= 0:
+ self.providerComboBox.setCurrentIndex(index)
+ except KeyError:
+ # documentation viewer is globally disabled
+ self.viewerGroupBox.setChecked(False)
+ self.viewerGroupBox.setEnabled(False)
+ self.infoLabel.setText(self.tr(
+ "The Documentation Viewer is disabled globally. Re-enable it"
+ " on the Interface/Interface configuration page and restart"
+ " the eric."))
def save(self):
"""
