28 super(ShellPage, self).__init__() |
28 super(ShellPage, self).__init__() |
29 self.setupUi(self) |
29 self.setupUi(self) |
30 self.setObjectName("ShellPage") |
30 self.setObjectName("ShellPage") |
31 |
31 |
32 # set initial values |
32 # set initial values |
33 self.shellLinenowidthSlider.setValue( |
|
34 Preferences.getShell("LinenoWidth")) |
|
35 self.shellLinenoCheckBox.setChecked( |
33 self.shellLinenoCheckBox.setChecked( |
36 Preferences.getShell("LinenoMargin")) |
34 Preferences.getShell("LinenoMargin")) |
37 self.shellWordWrapCheckBox.setChecked( |
35 self.shellWordWrapCheckBox.setChecked( |
38 Preferences.getShell("WrapEnabled")) |
36 Preferences.getShell("WrapEnabled")) |
39 self.shellACEnabledCheckBox.setChecked( |
37 self.shellACEnabledCheckBox.setChecked( |
56 |
54 |
57 def save(self): |
55 def save(self): |
58 """ |
56 """ |
59 Public slot to save the Shell configuration. |
57 Public slot to save the Shell configuration. |
60 """ |
58 """ |
61 Preferences.setShell("LinenoWidth", |
|
62 self.shellLinenowidthSlider.value()) |
|
63 Preferences.setShell("LinenoMargin", |
59 Preferences.setShell("LinenoMargin", |
64 self.shellLinenoCheckBox.isChecked()) |
60 self.shellLinenoCheckBox.isChecked()) |
65 Preferences.setShell("WrapEnabled", |
61 Preferences.setShell("WrapEnabled", |
66 self.shellWordWrapCheckBox.isChecked()) |
62 self.shellWordWrapCheckBox.isChecked()) |
67 Preferences.setShell("AutoCompletionEnabled", |
63 Preferences.setShell("AutoCompletionEnabled", |