Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/ShellPage.py
Preferences/ConfigurationPages/ShellPage.py
- changeset 3025
- 67064c71df21
- parent 3010
- befeff46ec0f
- child 3058
- 0a02c433f52d
- child 3160
- 209a07d7e401
equal
deleted
inserted
replaced
| 3024:17c01303a239 | 3025:67064c71df21 |
|---|---|
| 52 | 52 |
| 53 def save(self): | 53 def save(self): |
| 54 """ | 54 """ |
| 55 Public slot to save the Shell configuration. | 55 Public slot to save the Shell configuration. |
| 56 """ | 56 """ |
| 57 Preferences.setShell("LinenoMargin", | 57 Preferences.setShell( |
| 58 "LinenoMargin", | |
| 58 self.shellLinenoCheckBox.isChecked()) | 59 self.shellLinenoCheckBox.isChecked()) |
| 59 Preferences.setShell("WrapEnabled", | 60 Preferences.setShell( |
| 61 "WrapEnabled", | |
| 60 self.shellWordWrapCheckBox.isChecked()) | 62 self.shellWordWrapCheckBox.isChecked()) |
| 61 Preferences.setShell("AutoCompletionEnabled", | 63 Preferences.setShell( |
| 64 "AutoCompletionEnabled", | |
| 62 self.shellACEnabledCheckBox.isChecked()) | 65 self.shellACEnabledCheckBox.isChecked()) |
| 63 Preferences.setShell("CallTipsEnabled", | 66 Preferences.setShell( |
| 67 "CallTipsEnabled", | |
| 64 self.shellCTEnabledCheckBox.isChecked()) | 68 self.shellCTEnabledCheckBox.isChecked()) |
| 65 Preferences.setShell("SyntaxHighlightingEnabled", | 69 Preferences.setShell( |
| 70 "SyntaxHighlightingEnabled", | |
| 66 self.shellSyntaxHighlightingCheckBox.isChecked()) | 71 self.shellSyntaxHighlightingCheckBox.isChecked()) |
| 67 Preferences.setShell("MaxHistoryEntries", | 72 Preferences.setShell( |
| 73 "MaxHistoryEntries", | |
| 68 self.shellHistorySpinBox.value()) | 74 self.shellHistorySpinBox.value()) |
| 69 Preferences.setShell("ShowStdOutErr", | 75 Preferences.setShell( |
| 76 "ShowStdOutErr", | |
| 70 self.stdOutErrCheckBox.isChecked()) | 77 self.stdOutErrCheckBox.isChecked()) |
| 71 | 78 |
| 72 Preferences.setShell("MonospacedFont", self.monospacedFont) | 79 Preferences.setShell("MonospacedFont", self.monospacedFont) |
| 73 Preferences.setShell("UseMonospacedFont", | 80 Preferences.setShell( |
| 81 "UseMonospacedFont", | |
| 74 self.monospacedCheckBox.isChecked()) | 82 self.monospacedCheckBox.isChecked()) |
| 75 Preferences.setShell("MarginsFont", self.marginsFont) | 83 Preferences.setShell("MarginsFont", self.marginsFont) |
| 76 | 84 |
| 77 @pyqtSlot() | 85 @pyqtSlot() |
| 78 def on_monospacedFontButton_clicked(self): | 86 def on_monospacedFontButton_clicked(self): |
