59 Preferences.getEditor("ShowSourceOutline")) |
59 Preferences.getEditor("ShowSourceOutline")) |
60 self.sourceOutlineWidthSpinBox.setValue( |
60 self.sourceOutlineWidthSpinBox.setValue( |
61 Preferences.getEditor("SourceOutlineWidth")) |
61 Preferences.getEditor("SourceOutlineWidth")) |
62 self.sourceOutlineWidthStepSpinBox.setValue( |
62 self.sourceOutlineWidthStepSpinBox.setValue( |
63 Preferences.getEditor("SourceOutlineStepSize")) |
63 Preferences.getEditor("SourceOutlineStepSize")) |
|
64 self.sourceOutlineShowCodingCheckBox.setChecked( |
|
65 Preferences.getEditor("SourceOutlineShowCoding")) |
64 |
66 |
65 virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions") |
67 virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions") |
66 self.vsSelectionCheckBox.setChecked( |
68 self.vsSelectionCheckBox.setChecked( |
67 virtualSpaceOptions & QsciScintillaBase.SCVS_RECTANGULARSELECTION) |
69 virtualSpaceOptions & QsciScintillaBase.SCVS_RECTANGULARSELECTION) |
68 self.vsUserCheckBox.setChecked( |
70 self.vsUserCheckBox.setChecked( |
103 "SourceOutlineWidth", |
105 "SourceOutlineWidth", |
104 self.sourceOutlineWidthSpinBox.value()) |
106 self.sourceOutlineWidthSpinBox.value()) |
105 Preferences.setEditor( |
107 Preferences.setEditor( |
106 "SourceOutlineStepSize", |
108 "SourceOutlineStepSize", |
107 self.sourceOutlineWidthStepSpinBox.value()) |
109 self.sourceOutlineWidthStepSpinBox.value()) |
|
110 Preferences.setEditor( |
|
111 "SourceOutlineShowCoding", |
|
112 self.sourceOutlineShowCodingCheckBox.isChecked()) |
108 |
113 |
109 virtualSpaceOptions = QsciScintillaBase.SCVS_NONE |
114 virtualSpaceOptions = QsciScintillaBase.SCVS_NONE |
110 if self.vsSelectionCheckBox.isChecked(): |
115 if self.vsSelectionCheckBox.isChecked(): |
111 virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION |
116 virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION |
112 if self.vsUserCheckBox.isChecked(): |
117 if self.vsUserCheckBox.isChecked(): |