32 # set initial values |
32 # set initial values |
33 self.tabwidthSlider.setValue( |
33 self.tabwidthSlider.setValue( |
34 Preferences.getEditor("TabWidth")) |
34 Preferences.getEditor("TabWidth")) |
35 self.indentwidthSlider.setValue( |
35 self.indentwidthSlider.setValue( |
36 Preferences.getEditor("IndentWidth")) |
36 Preferences.getEditor("IndentWidth")) |
37 self.indentguidesCheckBox.setChecked( |
|
38 Preferences.getEditor("IndentationGuides")) |
|
39 self.tabforindentationCheckBox.setChecked( |
37 self.tabforindentationCheckBox.setChecked( |
40 Preferences.getEditor("TabForIndentation")) |
38 Preferences.getEditor("TabForIndentation")) |
41 self.tabindentsCheckBox.setChecked( |
39 self.tabindentsCheckBox.setChecked( |
42 Preferences.getEditor("TabIndents")) |
40 Preferences.getEditor("TabIndents")) |
43 self.converttabsCheckBox.setChecked( |
41 self.converttabsCheckBox.setChecked( |
61 "TabWidth", |
59 "TabWidth", |
62 self.tabwidthSlider.value()) |
60 self.tabwidthSlider.value()) |
63 Preferences.setEditor( |
61 Preferences.setEditor( |
64 "IndentWidth", |
62 "IndentWidth", |
65 self.indentwidthSlider.value()) |
63 self.indentwidthSlider.value()) |
66 Preferences.setEditor( |
|
67 "IndentationGuides", |
|
68 self.indentguidesCheckBox.isChecked()) |
|
69 Preferences.setEditor( |
64 Preferences.setEditor( |
70 "TabForIndentation", |
65 "TabForIndentation", |
71 self.tabforindentationCheckBox.isChecked()) |
66 self.tabforindentationCheckBox.isChecked()) |
72 Preferences.setEditor( |
67 Preferences.setEditor( |
73 "TabIndents", |
68 "TabIndents", |