55 |
55 |
56 def save(self): |
56 def save(self): |
57 """ |
57 """ |
58 Public slot to save the Editor General configuration. |
58 Public slot to save the Editor General configuration. |
59 """ |
59 """ |
60 Preferences.setEditor("TabWidth", |
60 Preferences.setEditor( |
|
61 "TabWidth", |
61 self.tabwidthSlider.value()) |
62 self.tabwidthSlider.value()) |
62 Preferences.setEditor("IndentWidth", |
63 Preferences.setEditor( |
|
64 "IndentWidth", |
63 self.indentwidthSlider.value()) |
65 self.indentwidthSlider.value()) |
64 Preferences.setEditor("IndentationGuides", |
66 Preferences.setEditor( |
|
67 "IndentationGuides", |
65 self.indentguidesCheckBox.isChecked()) |
68 self.indentguidesCheckBox.isChecked()) |
66 Preferences.setEditor("TabForIndentation", |
69 Preferences.setEditor( |
|
70 "TabForIndentation", |
67 self.tabforindentationCheckBox.isChecked()) |
71 self.tabforindentationCheckBox.isChecked()) |
68 Preferences.setEditor("TabIndents", |
72 Preferences.setEditor( |
|
73 "TabIndents", |
69 self.tabindentsCheckBox.isChecked()) |
74 self.tabindentsCheckBox.isChecked()) |
70 Preferences.setEditor("ConvertTabsOnLoad", |
75 Preferences.setEditor( |
|
76 "ConvertTabsOnLoad", |
71 self.converttabsCheckBox.isChecked()) |
77 self.converttabsCheckBox.isChecked()) |
72 Preferences.setEditor("AutoIndentation", |
78 Preferences.setEditor( |
|
79 "AutoIndentation", |
73 self.autoindentCheckBox.isChecked()) |
80 self.autoindentCheckBox.isChecked()) |
74 Preferences.setEditor("CommentColumn0", |
81 Preferences.setEditor( |
|
82 "CommentColumn0", |
75 self.comment0CheckBox.isChecked()) |
83 self.comment0CheckBox.isChecked()) |
76 |
84 |
77 virtualSpaceOptions = QsciScintillaBase.SCVS_NONE |
85 virtualSpaceOptions = QsciScintillaBase.SCVS_NONE |
78 if self.vsSelectionCheckBox.isChecked(): |
86 if self.vsSelectionCheckBox.isChecked(): |
79 virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION |
87 virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION |