53 self.autoindentCheckBox.setChecked( |
53 self.autoindentCheckBox.setChecked( |
54 Preferences.getEditor("AutoIndentation")) |
54 Preferences.getEditor("AutoIndentation")) |
55 self.comment0CheckBox.setChecked( |
55 self.comment0CheckBox.setChecked( |
56 Preferences.getEditor("CommentColumn0")) |
56 Preferences.getEditor("CommentColumn0")) |
57 |
57 |
|
58 self.sourceOutlineGroupBox.setChecked( |
|
59 Preferences.getEditor("ShowSourceOutline")) |
|
60 self.sourceOutlineWidthSpinBox.setValue( |
|
61 Preferences.getEditor("SourceOutlineWidth")) |
|
62 |
58 virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions") |
63 virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions") |
59 self.vsSelectionCheckBox.setChecked( |
64 self.vsSelectionCheckBox.setChecked( |
60 virtualSpaceOptions & QsciScintillaBase.SCVS_RECTANGULARSELECTION) |
65 virtualSpaceOptions & QsciScintillaBase.SCVS_RECTANGULARSELECTION) |
61 self.vsUserCheckBox.setChecked( |
66 self.vsUserCheckBox.setChecked( |
62 virtualSpaceOptions & QsciScintillaBase.SCVS_USERACCESSIBLE) |
67 virtualSpaceOptions & QsciScintillaBase.SCVS_USERACCESSIBLE) |
86 "AutoIndentation", |
91 "AutoIndentation", |
87 self.autoindentCheckBox.isChecked()) |
92 self.autoindentCheckBox.isChecked()) |
88 Preferences.setEditor( |
93 Preferences.setEditor( |
89 "CommentColumn0", |
94 "CommentColumn0", |
90 self.comment0CheckBox.isChecked()) |
95 self.comment0CheckBox.isChecked()) |
|
96 |
|
97 Preferences.setEditor( |
|
98 "ShowSourceOutline", |
|
99 self.sourceOutlineGroupBox.isChecked()) |
|
100 Preferences.setEditor( |
|
101 "SourceOutlineWidth", |
|
102 self.sourceOutlineWidthSpinBox.value()) |
91 |
103 |
92 virtualSpaceOptions = QsciScintillaBase.SCVS_NONE |
104 virtualSpaceOptions = QsciScintillaBase.SCVS_NONE |
93 if self.vsSelectionCheckBox.isChecked(): |
105 if self.vsSelectionCheckBox.isChecked(): |
94 virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION |
106 virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION |
95 if self.vsUserCheckBox.isChecked(): |
107 if self.vsUserCheckBox.isChecked(): |