diff -r 147236d850a4 -r a59680062837 eric6/Preferences/ConfigurationPages/EditorGeneralPage.py --- a/eric6/Preferences/ConfigurationPages/EditorGeneralPage.py Fri Sep 04 18:48:52 2020 +0200 +++ b/eric6/Preferences/ConfigurationPages/EditorGeneralPage.py Fri Sep 04 18:50:43 2020 +0200 @@ -55,6 +55,11 @@ self.comment0CheckBox.setChecked( Preferences.getEditor("CommentColumn0")) + self.sourceOutlineGroupBox.setChecked( + Preferences.getEditor("ShowSourceOutline")) + self.sourceOutlineWidthSpinBox.setValue( + Preferences.getEditor("SourceOutlineWidth")) + virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions") self.vsSelectionCheckBox.setChecked( virtualSpaceOptions & QsciScintillaBase.SCVS_RECTANGULARSELECTION) @@ -89,6 +94,13 @@ "CommentColumn0", self.comment0CheckBox.isChecked()) + Preferences.setEditor( + "ShowSourceOutline", + self.sourceOutlineGroupBox.isChecked()) + Preferences.setEditor( + "SourceOutlineWidth", + self.sourceOutlineWidthSpinBox.value()) + virtualSpaceOptions = QsciScintillaBase.SCVS_NONE if self.vsSelectionCheckBox.isChecked(): virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION