Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/TerminalPage.py
Preferences/ConfigurationPages/TerminalPage.py
- changeset 7
- c679fb30c8f3
- parent 0
- de9c2efb9d02
- child 12
- 1d8dd9706f46
equal
deleted
inserted
replaced
| 6:52e8c820d0dd | 7:c679fb30c8f3 |
|---|---|
| 61 Public slot to save the Shell configuration. | 61 Public slot to save the Shell configuration. |
| 62 """ | 62 """ |
| 63 Preferences.setTerminal("LinenoWidth", | 63 Preferences.setTerminal("LinenoWidth", |
| 64 self.linenowidthSlider.value()) | 64 self.linenowidthSlider.value()) |
| 65 Preferences.setTerminal("LinenoMargin", | 65 Preferences.setTerminal("LinenoMargin", |
| 66 int(self.linenoCheckBox.isChecked())) | 66 self.linenoCheckBox.isChecked()) |
| 67 Preferences.setTerminal("SyntaxHighlightingEnabled", | 67 Preferences.setTerminal("SyntaxHighlightingEnabled", |
| 68 int(self.syntaxHighlightingCheckBox.isChecked())) | 68 self.syntaxHighlightingCheckBox.isChecked()) |
| 69 Preferences.setTerminal("MaxHistoryEntries", | 69 Preferences.setTerminal("MaxHistoryEntries", |
| 70 self.historySpinBox.value()) | 70 self.historySpinBox.value()) |
| 71 | 71 |
| 72 Preferences.setTerminal("MonospacedFont", self.monospacedFont) | 72 Preferences.setTerminal("MonospacedFont", self.monospacedFont) |
| 73 Preferences.setTerminal("UseMonospacedFont", | 73 Preferences.setTerminal("UseMonospacedFont", |
| 74 int(self.monospacedCheckBox.isChecked())) | 74 self.monospacedCheckBox.isChecked()) |
| 75 Preferences.setTerminal("MarginsFont", self.marginsFont) | 75 Preferences.setTerminal("MarginsFont", self.marginsFont) |
| 76 | 76 |
| 77 Preferences.setTerminal("Shell", | 77 Preferences.setTerminal("Shell", |
| 78 self.shellCombo.currentText()) | 78 self.shellCombo.currentText()) |
| 79 Preferences.setTerminal("ShellInteractive", | 79 Preferences.setTerminal("ShellInteractive", |
| 80 int(self.interactiveCheckBox.isChecked())) | 80 self.interactiveCheckBox.isChecked()) |
| 81 | 81 |
| 82 @pyqtSlot() | 82 @pyqtSlot() |
| 83 def on_monospacedFontButton_clicked(self): | 83 def on_monospacedFontButton_clicked(self): |
| 84 """ | 84 """ |
| 85 Private method used to select the font to be used as the monospaced font. | 85 Private method used to select the font to be used as the monospaced font. |
