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