Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/ShellPage.py
Preferences/ConfigurationPages/ShellPage.py
- changeset 7
- c679fb30c8f3
- parent 0
- de9c2efb9d02
- child 12
- 1d8dd9706f46
equal
deleted
inserted
replaced
| 6:52e8c820d0dd | 7:c679fb30c8f3 |
|---|---|
| 56 Public slot to save the Shell configuration. | 56 Public slot to save the Shell configuration. |
| 57 """ | 57 """ |
| 58 Preferences.setShell("LinenoWidth", | 58 Preferences.setShell("LinenoWidth", |
| 59 self.shellLinenowidthSlider.value()) | 59 self.shellLinenowidthSlider.value()) |
| 60 Preferences.setShell("LinenoMargin", | 60 Preferences.setShell("LinenoMargin", |
| 61 int(self.shellLinenoCheckBox.isChecked())) | 61 self.shellLinenoCheckBox.isChecked()) |
| 62 Preferences.setShell("WrapEnabled", | 62 Preferences.setShell("WrapEnabled", |
| 63 int(self.shellWordWrapCheckBox.isChecked())) | 63 self.shellWordWrapCheckBox.isChecked()) |
| 64 Preferences.setShell("AutoCompletionEnabled", | 64 Preferences.setShell("AutoCompletionEnabled", |
| 65 int(self.shellACEnabledCheckBox.isChecked())) | 65 self.shellACEnabledCheckBox.isChecked()) |
| 66 Preferences.setShell("CallTipsEnabled", | 66 Preferences.setShell("CallTipsEnabled", |
| 67 int(self.shellCTEnabledCheckBox.isChecked())) | 67 self.shellCTEnabledCheckBox.isChecked()) |
| 68 Preferences.setShell("SyntaxHighlightingEnabled", | 68 Preferences.setShell("SyntaxHighlightingEnabled", |
| 69 int(self.shellSyntaxHighlightingCheckBox.isChecked())) | 69 self.shellSyntaxHighlightingCheckBox.isChecked()) |
| 70 Preferences.setShell("MaxHistoryEntries", | 70 Preferences.setShell("MaxHistoryEntries", |
| 71 self.shellHistorySpinBox.value()) | 71 self.shellHistorySpinBox.value()) |
| 72 Preferences.setShell("ShowStdOutErr", | 72 Preferences.setShell("ShowStdOutErr", |
| 73 int(self.stdOutErrCheckBox.isChecked())) | 73 self.stdOutErrCheckBox.isChecked()) |
| 74 | 74 |
| 75 Preferences.setShell("MonospacedFont", self.monospacedFont) | 75 Preferences.setShell("MonospacedFont", self.monospacedFont) |
| 76 Preferences.setShell("UseMonospacedFont", | 76 Preferences.setShell("UseMonospacedFont", |
| 77 int(self.monospacedCheckBox.isChecked())) | 77 self.monospacedCheckBox.isChecked()) |
| 78 Preferences.setShell("MarginsFont", self.marginsFont) | 78 Preferences.setShell("MarginsFont", self.marginsFont) |
| 79 | 79 |
| 80 @pyqtSlot() | 80 @pyqtSlot() |
| 81 def on_monospacedFontButton_clicked(self): | 81 def on_monospacedFontButton_clicked(self): |
| 82 """ | 82 """ |
