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 |