eric6/Preferences/ConfigurationPages/EditorGeneralPage.py

changeset 7757
1f9f35f9be6d
parent 7750
b16930e5baa9
child 7759
51aa6c6b66f7
diff -r c23a94f7e2e5 -r 1f9f35f9be6d eric6/Preferences/ConfigurationPages/EditorGeneralPage.py
--- a/eric6/Preferences/ConfigurationPages/EditorGeneralPage.py	Sun Oct 04 18:53:35 2020 +0200
+++ b/eric6/Preferences/ConfigurationPages/EditorGeneralPage.py	Mon Oct 05 19:11:15 2020 +0200
@@ -61,6 +61,8 @@
             Preferences.getEditor("SourceOutlineWidth"))
         self.sourceOutlineWidthStepSpinBox.setValue(
             Preferences.getEditor("SourceOutlineStepSize"))
+        self.sourceOutlineShowCodingCheckBox.setChecked(
+            Preferences.getEditor("SourceOutlineShowCoding"))
         
         virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions")
         self.vsSelectionCheckBox.setChecked(
@@ -105,6 +107,9 @@
         Preferences.setEditor(
             "SourceOutlineStepSize",
             self.sourceOutlineWidthStepSpinBox.value())
+        Preferences.setEditor(
+            "SourceOutlineShowCoding",
+            self.sourceOutlineShowCodingCheckBox.isChecked())
         
         virtualSpaceOptions = QsciScintillaBase.SCVS_NONE
         if self.vsSelectionCheckBox.isChecked():

eric ide

mercurial