Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/TerminalPage.py
Preferences/ConfigurationPages/TerminalPage.py
- changeset 564
- b3d966393ba9
- parent 97
- c4086afea02b
- child 791
- 9ec2ac20e54e
equal
deleted
inserted
replaced
| 563:e35d2cda9a74 | 564:b3d966393ba9 |
|---|---|
| 31 self.shellGroup.setEnabled(False) | 31 self.shellGroup.setEnabled(False) |
| 32 else: | 32 else: |
| 33 self.shellCombo.addItems(["ash", "bash", "csh", "ksh", "sh", "tcsh", "zsh"]) | 33 self.shellCombo.addItems(["ash", "bash", "csh", "ksh", "sh", "tcsh", "zsh"]) |
| 34 | 34 |
| 35 # set initial values | 35 # set initial values |
| 36 self.linenowidthSlider.setValue(\ | 36 self.linenowidthSlider.setValue( |
| 37 Preferences.getTerminal("LinenoWidth")) | 37 Preferences.getTerminal("LinenoWidth")) |
| 38 self.linenoCheckBox.setChecked(\ | 38 self.linenoCheckBox.setChecked( |
| 39 Preferences.getTerminal("LinenoMargin")) | 39 Preferences.getTerminal("LinenoMargin")) |
| 40 self.syntaxHighlightingCheckBox.setChecked(\ | 40 self.syntaxHighlightingCheckBox.setChecked( |
| 41 Preferences.getTerminal("SyntaxHighlightingEnabled")) | 41 Preferences.getTerminal("SyntaxHighlightingEnabled")) |
| 42 self.historySpinBox.setValue(\ | 42 self.historySpinBox.setValue( |
| 43 Preferences.getTerminal("MaxHistoryEntries")) | 43 Preferences.getTerminal("MaxHistoryEntries")) |
| 44 | 44 |
| 45 self.monospacedFont = Preferences.getTerminal("MonospacedFont") | 45 self.monospacedFont = Preferences.getTerminal("MonospacedFont") |
| 46 self.monospacedFontSample.setFont(self.monospacedFont) | 46 self.monospacedFontSample.setFont(self.monospacedFont) |
| 47 self.monospacedCheckBox.setChecked(\ | 47 self.monospacedCheckBox.setChecked( |
| 48 Preferences.getTerminal("UseMonospacedFont")) | 48 Preferences.getTerminal("UseMonospacedFont")) |
| 49 self.marginsFont = Preferences.getTerminal("MarginsFont") | 49 self.marginsFont = Preferences.getTerminal("MarginsFont") |
| 50 self.marginsFontSample.setFont(self.marginsFont) | 50 self.marginsFontSample.setFont(self.marginsFont) |
| 51 | 51 |
| 52 self.shellCombo.setEditText( | 52 self.shellCombo.setEditText( |
