61 self.sourceOutlineWidthSpinBox.setValue( |
61 self.sourceOutlineWidthSpinBox.setValue( |
62 Preferences.getEditor("SourceOutlineWidth") |
62 Preferences.getEditor("SourceOutlineWidth") |
63 ) |
63 ) |
64 self.sourceOutlineWidthStepSpinBox.setValue( |
64 self.sourceOutlineWidthStepSpinBox.setValue( |
65 Preferences.getEditor("SourceOutlineStepSize") |
65 Preferences.getEditor("SourceOutlineStepSize") |
|
66 ) |
|
67 self.sourceOutlineSortByOccurrenceCheckBox.setChecked( |
|
68 Preferences.getEditor("SourceOutlineListContentsByOccurrence") |
66 ) |
69 ) |
67 self.sourceOutlineShowCodingCheckBox.setChecked( |
70 self.sourceOutlineShowCodingCheckBox.setChecked( |
68 Preferences.getEditor("SourceOutlineShowCoding") |
71 Preferences.getEditor("SourceOutlineShowCoding") |
69 ) |
72 ) |
70 |
73 |
140 Preferences.setEditor( |
143 Preferences.setEditor( |
141 "SourceOutlineWidth", self.sourceOutlineWidthSpinBox.value() |
144 "SourceOutlineWidth", self.sourceOutlineWidthSpinBox.value() |
142 ) |
145 ) |
143 Preferences.setEditor( |
146 Preferences.setEditor( |
144 "SourceOutlineStepSize", self.sourceOutlineWidthStepSpinBox.value() |
147 "SourceOutlineStepSize", self.sourceOutlineWidthStepSpinBox.value() |
|
148 ) |
|
149 Preferences.setEditor( |
|
150 "SourceOutlineListContentsByOccurrence", |
|
151 self.sourceOutlineSortByOccurrenceCheckBox.isChecked(), |
145 ) |
152 ) |
146 Preferences.setEditor( |
153 Preferences.setEditor( |
147 "SourceOutlineShowCoding", self.sourceOutlineShowCodingCheckBox.isChecked() |
154 "SourceOutlineShowCoding", self.sourceOutlineShowCodingCheckBox.isChecked() |
148 ) |
155 ) |
149 |
156 |