54 |
54 |
55 def save(self): |
55 def save(self): |
56 """ |
56 """ |
57 Public slot to save the Shell configuration. |
57 Public slot to save the Shell configuration. |
58 """ |
58 """ |
59 Preferences.setShell("LinenoMargin", |
59 Preferences.setShell( |
|
60 "LinenoMargin", |
60 self.shellLinenoCheckBox.isChecked()) |
61 self.shellLinenoCheckBox.isChecked()) |
61 Preferences.setShell("WrapEnabled", |
62 Preferences.setShell( |
|
63 "WrapEnabled", |
62 self.shellWordWrapCheckBox.isChecked()) |
64 self.shellWordWrapCheckBox.isChecked()) |
63 Preferences.setShell("AutoCompletionEnabled", |
65 Preferences.setShell( |
|
66 "AutoCompletionEnabled", |
64 self.shellACEnabledCheckBox.isChecked()) |
67 self.shellACEnabledCheckBox.isChecked()) |
65 Preferences.setShell("CallTipsEnabled", |
68 Preferences.setShell( |
|
69 "CallTipsEnabled", |
66 self.shellCTEnabledCheckBox.isChecked()) |
70 self.shellCTEnabledCheckBox.isChecked()) |
67 Preferences.setShell("SyntaxHighlightingEnabled", |
71 Preferences.setShell( |
|
72 "SyntaxHighlightingEnabled", |
68 self.shellSyntaxHighlightingCheckBox.isChecked()) |
73 self.shellSyntaxHighlightingCheckBox.isChecked()) |
69 Preferences.setShell("MaxHistoryEntries", |
74 Preferences.setShell( |
|
75 "MaxHistoryEntries", |
70 self.shellHistorySpinBox.value()) |
76 self.shellHistorySpinBox.value()) |
71 Preferences.setShell("ShowStdOutErr", |
77 Preferences.setShell( |
|
78 "ShowStdOutErr", |
72 self.stdOutErrCheckBox.isChecked()) |
79 self.stdOutErrCheckBox.isChecked()) |
73 |
80 |
74 Preferences.setShell("MonospacedFont", self.monospacedFont) |
81 Preferences.setShell("MonospacedFont", self.monospacedFont) |
75 Preferences.setShell("UseMonospacedFont", |
82 Preferences.setShell( |
|
83 "UseMonospacedFont", |
76 self.monospacedCheckBox.isChecked()) |
84 self.monospacedCheckBox.isChecked()) |
77 Preferences.setShell("MarginsFont", self.marginsFont) |
85 Preferences.setShell("MarginsFont", self.marginsFont) |
78 |
86 |
79 @pyqtSlot() |
87 @pyqtSlot() |
80 def on_monospacedFontButton_clicked(self): |
88 def on_monospacedFontButton_clicked(self): |