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