51 Preferences.setEditor("TabWidth", |
51 Preferences.setEditor("TabWidth", |
52 self.tabwidthSlider.value()) |
52 self.tabwidthSlider.value()) |
53 Preferences.setEditor("IndentWidth", |
53 Preferences.setEditor("IndentWidth", |
54 self.indentwidthSlider.value()) |
54 self.indentwidthSlider.value()) |
55 Preferences.setEditor("IndentationGuides", |
55 Preferences.setEditor("IndentationGuides", |
56 int(self.indentguidesCheckBox.isChecked())) |
56 self.indentguidesCheckBox.isChecked()) |
57 Preferences.setEditor("TabForIndentation", |
57 Preferences.setEditor("TabForIndentation", |
58 int(self.tabforindentationCheckBox.isChecked())) |
58 self.tabforindentationCheckBox.isChecked()) |
59 Preferences.setEditor("TabIndents", |
59 Preferences.setEditor("TabIndents", |
60 int(self.tabindentsCheckBox.isChecked())) |
60 self.tabindentsCheckBox.isChecked()) |
61 Preferences.setEditor("ConvertTabsOnLoad", |
61 Preferences.setEditor("ConvertTabsOnLoad", |
62 int(self.converttabsCheckBox.isChecked())) |
62 self.converttabsCheckBox.isChecked()) |
63 Preferences.setEditor("AutoIndentation", |
63 Preferences.setEditor("AutoIndentation", |
64 int(self.autoindentCheckBox.isChecked())) |
64 self.autoindentCheckBox.isChecked()) |
65 Preferences.setEditor("CommentColumn0", |
65 Preferences.setEditor("CommentColumn0", |
66 int(self.comment0CheckBox.isChecked())) |
66 self.comment0CheckBox.isChecked()) |
67 |
67 |
68 def on_tabforindentationCheckBox_toggled(self, checked): |
68 def on_tabforindentationCheckBox_toggled(self, checked): |
69 """ |
69 """ |
70 Private slot used to set the tab conversion check box. |
70 Private slot used to set the tab conversion check box. |
71 |
71 |