23 ConfigurationPageBase.__init__(self) |
23 ConfigurationPageBase.__init__(self) |
24 self.setupUi(self) |
24 self.setupUi(self) |
25 self.setObjectName("EditorGeneralPage") |
25 self.setObjectName("EditorGeneralPage") |
26 |
26 |
27 # set initial values |
27 # set initial values |
28 self.tabwidthSlider.setValue(\ |
28 self.tabwidthSlider.setValue( |
29 Preferences.getEditor("TabWidth")) |
29 Preferences.getEditor("TabWidth")) |
30 self.indentwidthSlider.setValue(\ |
30 self.indentwidthSlider.setValue( |
31 Preferences.getEditor("IndentWidth")) |
31 Preferences.getEditor("IndentWidth")) |
32 self.indentguidesCheckBox.setChecked(\ |
32 self.indentguidesCheckBox.setChecked( |
33 Preferences.getEditor("IndentationGuides")) |
33 Preferences.getEditor("IndentationGuides")) |
34 self.tabforindentationCheckBox.setChecked(\ |
34 self.tabforindentationCheckBox.setChecked( |
35 Preferences.getEditor("TabForIndentation")) |
35 Preferences.getEditor("TabForIndentation")) |
36 self.tabindentsCheckBox.setChecked(\ |
36 self.tabindentsCheckBox.setChecked( |
37 Preferences.getEditor("TabIndents")) |
37 Preferences.getEditor("TabIndents")) |
38 self.converttabsCheckBox.setChecked(\ |
38 self.converttabsCheckBox.setChecked( |
39 Preferences.getEditor("ConvertTabsOnLoad")) |
39 Preferences.getEditor("ConvertTabsOnLoad")) |
40 self.autoindentCheckBox.setChecked(\ |
40 self.autoindentCheckBox.setChecked( |
41 Preferences.getEditor("AutoIndentation")) |
41 Preferences.getEditor("AutoIndentation")) |
42 self.comment0CheckBox.setChecked( |
42 self.comment0CheckBox.setChecked( |
43 Preferences.getEditor("CommentColumn0")) |
43 Preferences.getEditor("CommentColumn0")) |
44 |
44 |
45 def save(self): |
45 def save(self): |