34 self.providerComboBox.addItem(text, provider) |
34 self.providerComboBox.addItem(text, provider) |
35 |
35 |
36 # set initial values |
36 # set initial values |
37 self.parenthesisCheckBox.setChecked( |
37 self.parenthesisCheckBox.setChecked( |
38 Preferences.getDocuViewer("ShowInfoOnOpenParenthesis")) |
38 Preferences.getDocuViewer("ShowInfoOnOpenParenthesis")) |
39 self.richTextCheckBox.setChecked( |
|
40 Preferences.getDocuViewer("ShowInfoAsRichText")) |
|
41 |
39 |
42 provider = Preferences.getDocuViewer("Provider") |
40 provider = Preferences.getDocuViewer("Provider") |
43 self.viewerGroupBox.setChecked(provider != "disabled") |
41 self.viewerGroupBox.setChecked(provider != "disabled") |
44 |
42 |
45 index = self.providerComboBox.findData(provider) |
43 index = self.providerComboBox.findData(provider) |
54 if enabled: |
52 if enabled: |
55 Preferences.setDocuViewer( |
53 Preferences.setDocuViewer( |
56 "ShowInfoOnOpenParenthesis", |
54 "ShowInfoOnOpenParenthesis", |
57 self.parenthesisCheckBox.isChecked()) |
55 self.parenthesisCheckBox.isChecked()) |
58 Preferences.setDocuViewer( |
56 Preferences.setDocuViewer( |
59 "ShowInfoAsRichText", |
|
60 self.richTextCheckBox.isChecked()) |
|
61 Preferences.setDocuViewer( |
|
62 "Provider", |
57 "Provider", |
63 self.providerComboBox.itemData( |
58 self.providerComboBox.itemData( |
64 self.providerComboBox.currentIndex()) |
59 self.providerComboBox.currentIndex()) |
65 ) |
60 ) |
66 else: |
61 else: |