eric6/Preferences/ConfigurationPages/EditorGeneralPage.py

changeset 7690
a59680062837
parent 7360
9190402e4505
child 7731
8ec83a027a21
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

eric ide

mercurial