Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/ShellPage.py
Preferences/ConfigurationPages/ShellPage.py
- changeset 6581
- 8eb6220f2bb7
- parent 6048
- 82ad8ec9548c
- child 6645
- ad476851d7e0
equal
deleted
inserted
replaced
| 6580:082d58e2415e | 6581:8eb6220f2bb7 |
|---|---|
| 53 Preferences.getShell("AutoCompletionEnabled")) | 53 Preferences.getShell("AutoCompletionEnabled")) |
| 54 self.shellCTEnabledCheckBox.setChecked( | 54 self.shellCTEnabledCheckBox.setChecked( |
| 55 Preferences.getShell("CallTipsEnabled")) | 55 Preferences.getShell("CallTipsEnabled")) |
| 56 self.shellSyntaxHighlightingCheckBox.setChecked( | 56 self.shellSyntaxHighlightingCheckBox.setChecked( |
| 57 Preferences.getShell("SyntaxHighlightingEnabled")) | 57 Preferences.getShell("SyntaxHighlightingEnabled")) |
| 58 self.rememberCheckBox.setChecked( | |
| 59 Preferences.getShell("StartWithMostRecentlyUsedEnvironment")) | |
| 58 self.shellHistorySpinBox.setValue( | 60 self.shellHistorySpinBox.setValue( |
| 59 Preferences.getShell("MaxHistoryEntries")) | 61 Preferences.getShell("MaxHistoryEntries")) |
| 60 index = self.shellHistoryStyleComboBox.findData( | 62 index = self.shellHistoryStyleComboBox.findData( |
| 61 Preferences.getShell("HistoryStyle").value) | 63 Preferences.getShell("HistoryStyle").value) |
| 62 self.shellHistoryStyleComboBox.setCurrentIndex(index) | 64 self.shellHistoryStyleComboBox.setCurrentIndex(index) |
| 91 "CallTipsEnabled", | 93 "CallTipsEnabled", |
| 92 self.shellCTEnabledCheckBox.isChecked()) | 94 self.shellCTEnabledCheckBox.isChecked()) |
| 93 Preferences.setShell( | 95 Preferences.setShell( |
| 94 "SyntaxHighlightingEnabled", | 96 "SyntaxHighlightingEnabled", |
| 95 self.shellSyntaxHighlightingCheckBox.isChecked()) | 97 self.shellSyntaxHighlightingCheckBox.isChecked()) |
| 98 Preferences.setShell( | |
| 99 "StartWithMostRecentlyUsedEnvironment", | |
| 100 self.rememberCheckBox.isChecked()) | |
| 96 Preferences.setShell( | 101 Preferences.setShell( |
| 97 "MaxHistoryEntries", | 102 "MaxHistoryEntries", |
| 98 self.shellHistorySpinBox.value()) | 103 self.shellHistorySpinBox.value()) |
| 99 Preferences.setShell( | 104 Preferences.setShell( |
| 100 "HistoryStyle", | 105 "HistoryStyle", |
