Preferences/ConfigurationPages/EditorDocViewerPage.py

changeset 6505
470d878cbe9f
parent 6380
4a932a7ab987
child 6559
1265efa7364f
equal deleted inserted replaced
6504:154eda18e9b1 6505:470d878cbe9f
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:

eric ide

mercurial