Preferences/ConfigurationPages/EditorStylesPage.py

changeset 230
2cde09c26384
parent 97
c4086afea02b
child 330
4b4f242bf3f6
child 792
a13346916170
equal deleted inserted replaced
229:fa7024a3cd58 230:2cde09c26384
130 Preferences.getEditorColour) 130 Preferences.getEditorColour)
131 self.editorColours["NonmatchingBraceBack"] = \ 131 self.editorColours["NonmatchingBraceBack"] = \
132 self.initColour("NonmatchingBraceBack", self.nonmatchingBracesBackButton, 132 self.initColour("NonmatchingBraceBack", self.nonmatchingBracesBackButton,
133 Preferences.getEditorColour) 133 Preferences.getEditorColour)
134 134
135 self.zoomfactorSlider.setValue(
136 Preferences.getEditor("ZoomFactor"))
137
135 self.whitespaceCheckBox.setChecked(\ 138 self.whitespaceCheckBox.setChecked(\
136 Preferences.getEditor("ShowWhitespace")) 139 Preferences.getEditor("ShowWhitespace"))
137 self.miniMenuCheckBox.setChecked(\ 140 self.miniMenuCheckBox.setChecked(\
138 Preferences.getEditor("MiniContextMenu")) 141 Preferences.getEditor("MiniContextMenu"))
139 142
180 self.edgeLineColumnSlider.value()) 183 self.edgeLineColumnSlider.value())
181 184
182 Preferences.setEditor("BraceHighlighting", 185 Preferences.setEditor("BraceHighlighting",
183 self.bracehighlightingCheckBox.isChecked()) 186 self.bracehighlightingCheckBox.isChecked())
184 187
188 Preferences.setEditor("ZoomFactor",
189 self.zoomfactorSlider.value())
190
185 Preferences.setEditor("ShowWhitespace", 191 Preferences.setEditor("ShowWhitespace",
186 self.whitespaceCheckBox.isChecked()) 192 self.whitespaceCheckBox.isChecked())
187 Preferences.setEditor("MiniContextMenu", 193 Preferences.setEditor("MiniContextMenu",
188 self.miniMenuCheckBox.isChecked()) 194 self.miniMenuCheckBox.isChecked())
189 195

eric ide

mercurial