58 self.sourceOutlineGroupBox.setChecked( |
58 self.sourceOutlineGroupBox.setChecked( |
59 Preferences.getEditor("ShowSourceOutline") |
59 Preferences.getEditor("ShowSourceOutline") |
60 ) |
60 ) |
61 self.sourceOutlineWidthSpinBox.setValue( |
61 self.sourceOutlineWidthSpinBox.setValue( |
62 Preferences.getEditor("SourceOutlineWidth") |
62 Preferences.getEditor("SourceOutlineWidth") |
63 ) |
|
64 self.sourceOutlineWidthStepSpinBox.setValue( |
|
65 Preferences.getEditor("SourceOutlineStepSize") |
|
66 ) |
63 ) |
67 self.sourceOutlineSortByOccurrenceCheckBox.setChecked( |
64 self.sourceOutlineSortByOccurrenceCheckBox.setChecked( |
68 Preferences.getEditor("SourceOutlineListContentsByOccurrence") |
65 Preferences.getEditor("SourceOutlineListContentsByOccurrence") |
69 ) |
66 ) |
70 self.sourceOutlineShowCodingCheckBox.setChecked( |
67 self.sourceOutlineShowCodingCheckBox.setChecked( |
140 Preferences.setEditor( |
137 Preferences.setEditor( |
141 "ShowSourceOutline", self.sourceOutlineGroupBox.isChecked() |
138 "ShowSourceOutline", self.sourceOutlineGroupBox.isChecked() |
142 ) |
139 ) |
143 Preferences.setEditor( |
140 Preferences.setEditor( |
144 "SourceOutlineWidth", self.sourceOutlineWidthSpinBox.value() |
141 "SourceOutlineWidth", self.sourceOutlineWidthSpinBox.value() |
145 ) |
|
146 Preferences.setEditor( |
|
147 "SourceOutlineStepSize", self.sourceOutlineWidthStepSpinBox.value() |
|
148 ) |
142 ) |
149 Preferences.setEditor( |
143 Preferences.setEditor( |
150 "SourceOutlineListContentsByOccurrence", |
144 "SourceOutlineListContentsByOccurrence", |
151 self.sourceOutlineSortByOccurrenceCheckBox.isChecked(), |
145 self.sourceOutlineSortByOccurrenceCheckBox.isChecked(), |
152 ) |
146 ) |