eric6/Preferences/ConfigurationPages/EditorGeneralPage.py

changeset 7757
1f9f35f9be6d
parent 7750
b16930e5baa9
child 7759
51aa6c6b66f7
equal deleted inserted replaced
7756:c23a94f7e2e5 7757:1f9f35f9be6d
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():

eric ide

mercurial