Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorDocViewerPage.py
Preferences/ConfigurationPages/EditorDocViewerPage.py
- changeset 5919
- d0de2b378b24
- parent 5912
- b6643d36dddd
- child 6047
- 39586a2de99d
equal
deleted
inserted
replaced
| 5918:d89cd224dd1b | 5919:d0de2b378b24 |
|---|---|
| 35 providers = e5App().getObject("DocuViewer").getProviders() | 35 providers = e5App().getObject("DocuViewer").getProviders() |
| 36 for provider, text in providers: | 36 for provider, text in providers: |
| 37 self.providerComboBox.addItem(text, provider) | 37 self.providerComboBox.addItem(text, provider) |
| 38 | 38 |
| 39 # set initial values | 39 # set initial values |
| 40 self.parenthesisCheckBox.setChecked( | |
| 41 Preferences.getDocuViewer("ShowInfoOnOpenParenthesis")) | |
| 40 self.richTextCheckBox.setChecked( | 42 self.richTextCheckBox.setChecked( |
| 41 Preferences.getDocuViewer("ShowInfoAsMarkdown")) | 43 Preferences.getDocuViewer("ShowInfoAsRichText")) |
| 42 | 44 |
| 43 provider = Preferences.getDocuViewer("Provider") | 45 provider = Preferences.getDocuViewer("Provider") |
| 44 self.viewerGroupBox.setChecked(provider != "disabled") | 46 self.viewerGroupBox.setChecked(provider != "disabled") |
| 45 | 47 |
| 46 index = self.providerComboBox.findData(provider) | 48 index = self.providerComboBox.findData(provider) |
| 52 Public slot to save the Editor Typing configuration. | 54 Public slot to save the Editor Typing configuration. |
| 53 """ | 55 """ |
| 54 enabled = self.viewerGroupBox.isChecked() | 56 enabled = self.viewerGroupBox.isChecked() |
| 55 if enabled: | 57 if enabled: |
| 56 Preferences.setDocuViewer( | 58 Preferences.setDocuViewer( |
| 57 "ShowInfoAsMarkdown", self.richTextCheckBox.isChecked()) | 59 "ShowInfoOnOpenParenthesis", |
| 60 self.parenthesisCheckBox.isChecked()) | |
| 61 Preferences.setDocuViewer( | |
| 62 "ShowInfoAsRichText", | |
| 63 self.richTextCheckBox.isChecked()) | |
| 58 Preferences.setDocuViewer( | 64 Preferences.setDocuViewer( |
| 59 "Provider", | 65 "Provider", |
| 60 self.providerComboBox.itemData( | 66 self.providerComboBox.itemData( |
| 61 self.providerComboBox.currentIndex()) | 67 self.providerComboBox.currentIndex()) |
| 62 ) | 68 ) |
