Preferences/ConfigurationPages/EditorStylesPage.py

changeset 6843
5e1afd1577b9
parent 6842
c83dcb7c6147
child 6932
8a3df4c6ac9a
equal deleted inserted replaced
6842:c83dcb7c6147 6843:5e1afd1577b9
71 self.wrapVisualComboBox.addItem( 71 self.wrapVisualComboBox.addItem(
72 self.tr("Indicator in Line Number Margin"), 72 self.tr("Indicator in Line Number Margin"),
73 QsciScintilla.WrapFlagInMargin) 73 QsciScintilla.WrapFlagInMargin)
74 74
75 self.wrapIndentComboBox.addItem( 75 self.wrapIndentComboBox.addItem(
76 self.tr("Fixed Amount"), QsciScintilla.WrapIndentFixed) 76 self.tr("Fixed"), QsciScintilla.WrapIndentFixed)
77 self.wrapIndentComboBox.addItem( 77 self.wrapIndentComboBox.addItem(
78 self.tr("Aligned to First Line"), QsciScintilla.WrapIndentSame) 78 self.tr("Aligned"), QsciScintilla.WrapIndentSame)
79 self.wrapIndentComboBox.addItem( 79 self.wrapIndentComboBox.addItem(
80 self.tr("Aligned to First Line plus One"), 80 self.tr("Aligned plus One"),
81 QsciScintilla.WrapIndentIndented) 81 QsciScintilla.WrapIndentIndented)
82 if QSCINTILLA_VERSION() >= 0x020B00: 82 if QSCINTILLA_VERSION() >= 0x020B00:
83 self.wrapIndentComboBox.addItem( 83 self.wrapIndentComboBox.addItem(
84 self.tr("Aligned to First Line plus Two"), 84 self.tr("Aligned plus Two"),
85 QsciScintilla.WrapIndentDeeplyIndented) 85 QsciScintilla.WrapIndentDeeplyIndented)
86 86
87 if QSCINTILLA_VERSION() < 0x020800: 87 self.caretlineAlwaysVisibleCheckBox.setEnabled(
88 self.caretlineAlwaysVisibleCheckBox.hide() 88 QSCINTILLA_VERSION() >= 0x020800)
89 self.caretlineFrameWidthSpinBox.setEnabled(
90 QSCINTILLA_VERSION() >= 0x020B00)
89 91
90 # set initial values 92 # set initial values
91 try: 93 try:
92 self.foldingStyleComboBox.setCurrentIndex( 94 self.foldingStyleComboBox.setCurrentIndex(
93 self.foldStyles.index(Preferences.getEditor("FoldingStyle"))) 95 self.foldStyles.index(Preferences.getEditor("FoldingStyle")))
110 Preferences.getEditor("CaretLineVisible")) 112 Preferences.getEditor("CaretLineVisible"))
111 self.caretlineAlwaysVisibleCheckBox.setChecked( 113 self.caretlineAlwaysVisibleCheckBox.setChecked(
112 Preferences.getEditor("CaretLineAlwaysVisible")) 114 Preferences.getEditor("CaretLineAlwaysVisible"))
113 self.caretWidthSpinBox.setValue( 115 self.caretWidthSpinBox.setValue(
114 Preferences.getEditor("CaretWidth")) 116 Preferences.getEditor("CaretWidth"))
117 self.caretlineFrameWidthSpinBox.setValue(
118 Preferences.getEditor("CaretLineFrameWidth"))
115 self.colourizeSelTextCheckBox.setChecked( 119 self.colourizeSelTextCheckBox.setChecked(
116 Preferences.getEditor("ColourizeSelText")) 120 Preferences.getEditor("ColourizeSelText"))
117 self.customSelColourCheckBox.setChecked( 121 self.customSelColourCheckBox.setChecked(
118 Preferences.getEditor("CustomSelectionColours")) 122 Preferences.getEditor("CustomSelectionColours"))
119 self.extentSelEolCheckBox.setChecked( 123 self.extentSelEolCheckBox.setChecked(
168 self.wrapVisualComboBox.findData( 172 self.wrapVisualComboBox.findData(
169 Preferences.getEditor("WrapVisualFlag"))) 173 Preferences.getEditor("WrapVisualFlag")))
170 self.wrapIndentComboBox.setCurrentIndex( 174 self.wrapIndentComboBox.setCurrentIndex(
171 self.wrapIndentComboBox.findData( 175 self.wrapIndentComboBox.findData(
172 Preferences.getEditor("WrapIndentMode"))) 176 Preferences.getEditor("WrapIndentMode")))
177 self.wrapStartIndentSpinBox.setValue(
178 Preferences.getEditor("WrapStartIndent"))
173 179
174 self.edgeModeCombo.setCurrentIndex( 180 self.edgeModeCombo.setCurrentIndex(
175 self.edgeModes.index(Preferences.getEditor("EdgeMode"))) 181 self.edgeModes.index(Preferences.getEditor("EdgeMode")))
176 self.edgeLineColumnSlider.setValue( 182 self.edgeLineColumnSlider.setValue(
177 Preferences.getEditor("EdgeColumn")) 183 Preferences.getEditor("EdgeColumn"))
324 "LineMarkersBackground", 330 "LineMarkersBackground",
325 self.debugMarkerBackgroundCheckBox.isChecked()) 331 self.debugMarkerBackgroundCheckBox.isChecked())
326 332
327 Preferences.setEditor( 333 Preferences.setEditor(
328 "CaretWidth", self.caretWidthSpinBox.value()) 334 "CaretWidth", self.caretWidthSpinBox.value())
335 Preferences.setEditor(
336 "CaretLineFrameWidth", self.caretlineFrameWidthSpinBox.value())
329 337
330 Preferences.setEditor( 338 Preferences.setEditor(
331 "ShowEOL", self.eolCheckBox.isChecked()) 339 "ShowEOL", self.eolCheckBox.isChecked())
332 Preferences.setEditor( 340 Preferences.setEditor(
333 "WrapLongLinesMode", self.wrapModeComboBox.itemData( 341 "WrapLongLinesMode", self.wrapModeComboBox.itemData(
336 "WrapVisualFlag", self.wrapVisualComboBox.itemData( 344 "WrapVisualFlag", self.wrapVisualComboBox.itemData(
337 self.wrapVisualComboBox.currentIndex())) 345 self.wrapVisualComboBox.currentIndex()))
338 Preferences.setEditor( 346 Preferences.setEditor(
339 "WrapIndentMode", self.wrapIndentComboBox.itemData( 347 "WrapIndentMode", self.wrapIndentComboBox.itemData(
340 self.wrapIndentComboBox.currentIndex())) 348 self.wrapIndentComboBox.currentIndex()))
349 Preferences.setEditor(
350 "WrapStartIndent", self.wrapStartIndentSpinBox.value())
341 Preferences.setEditor( 351 Preferences.setEditor(
342 "EdgeMode", self.edgeModes[self.edgeModeCombo.currentIndex()]) 352 "EdgeMode", self.edgeModes[self.edgeModeCombo.currentIndex()])
343 Preferences.setEditor( 353 Preferences.setEditor(
344 "EdgeColumn", self.edgeLineColumnSlider.value()) 354 "EdgeColumn", self.edgeLineColumnSlider.value())
345 355

eric ide

mercurial