27 """ |
27 """ |
28 super(EditorDocViewerPage, self).__init__() |
28 super(EditorDocViewerPage, self).__init__() |
29 self.setupUi(self) |
29 self.setupUi(self) |
30 self.setObjectName("EditorExportersPage") |
30 self.setObjectName("EditorExportersPage") |
31 |
31 |
32 providers = e5App().getObject("DocuViewer").getProviders() |
32 try: |
33 for provider, text in providers: |
33 providers = e5App().getObject("DocuViewer").getProviders() |
34 self.providerComboBox.addItem(text, provider) |
34 for provider, text in providers: |
35 |
35 self.providerComboBox.addItem(text, provider) |
36 # set initial values |
|
37 self.parenthesisCheckBox.setChecked( |
|
38 Preferences.getDocuViewer("ShowInfoOnOpenParenthesis")) |
|
39 |
|
40 provider = Preferences.getDocuViewer("Provider") |
|
41 self.viewerGroupBox.setChecked(provider != "disabled") |
|
42 |
36 |
43 index = self.providerComboBox.findData(provider) |
37 self.infoLabel.clear() |
44 if index >= 0: |
38 |
45 self.providerComboBox.setCurrentIndex(index) |
39 # set initial values |
|
40 self.parenthesisCheckBox.setChecked( |
|
41 Preferences.getDocuViewer("ShowInfoOnOpenParenthesis")) |
|
42 |
|
43 provider = Preferences.getDocuViewer("Provider") |
|
44 self.viewerGroupBox.setChecked(provider != "disabled") |
|
45 |
|
46 index = self.providerComboBox.findData(provider) |
|
47 if index >= 0: |
|
48 self.providerComboBox.setCurrentIndex(index) |
|
49 except KeyError: |
|
50 # documentation viewer is globally disabled |
|
51 self.viewerGroupBox.setChecked(False) |
|
52 self.viewerGroupBox.setEnabled(False) |
|
53 self.infoLabel.setText(self.tr( |
|
54 "The Documentation Viewer is disabled globally. Re-enable it" |
|
55 " on the Interface/Interface configuration page and restart" |
|
56 " the eric.")) |
46 |
57 |
47 def save(self): |
58 def save(self): |
48 """ |
59 """ |
49 Public slot to save the Editor Typing configuration. |
60 Public slot to save the Editor Typing configuration. |
50 """ |
61 """ |