Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/ShellPage.py
Preferences/ConfigurationPages/ShellPage.py
- changeset 945
- 8cd4d08fa9f6
- parent 791
- 9ec2ac20e54e
- child 1131
- 7781e396c903
equal
deleted
inserted
replaced
| 944:1b59c4ba121e | 945:8cd4d08fa9f6 |
|---|---|
| 11 | 11 |
| 12 from .ConfigurationPageBase import ConfigurationPageBase | 12 from .ConfigurationPageBase import ConfigurationPageBase |
| 13 from .Ui_ShellPage import Ui_ShellPage | 13 from .Ui_ShellPage import Ui_ShellPage |
| 14 | 14 |
| 15 import Preferences | 15 import Preferences |
| 16 | |
| 16 | 17 |
| 17 class ShellPage(ConfigurationPageBase, Ui_ShellPage): | 18 class ShellPage(ConfigurationPageBase, Ui_ShellPage): |
| 18 """ | 19 """ |
| 19 Class implementing the Shell configuration page. | 20 Class implementing the Shell configuration page. |
| 20 """ | 21 """ |
| 67 self.shellCTEnabledCheckBox.isChecked()) | 68 self.shellCTEnabledCheckBox.isChecked()) |
| 68 Preferences.setShell("SyntaxHighlightingEnabled", | 69 Preferences.setShell("SyntaxHighlightingEnabled", |
| 69 self.shellSyntaxHighlightingCheckBox.isChecked()) | 70 self.shellSyntaxHighlightingCheckBox.isChecked()) |
| 70 Preferences.setShell("MaxHistoryEntries", | 71 Preferences.setShell("MaxHistoryEntries", |
| 71 self.shellHistorySpinBox.value()) | 72 self.shellHistorySpinBox.value()) |
| 72 Preferences.setShell("ShowStdOutErr", | 73 Preferences.setShell("ShowStdOutErr", |
| 73 self.stdOutErrCheckBox.isChecked()) | 74 self.stdOutErrCheckBox.isChecked()) |
| 74 | 75 |
| 75 Preferences.setShell("MonospacedFont", self.monospacedFont) | 76 Preferences.setShell("MonospacedFont", self.monospacedFont) |
| 76 Preferences.setShell("UseMonospacedFont", | 77 Preferences.setShell("UseMonospacedFont", |
| 77 self.monospacedCheckBox.isChecked()) | 78 self.monospacedCheckBox.isChecked()) |
| 97 Public slot to perform some polishing actions. | 98 Public slot to perform some polishing actions. |
| 98 """ | 99 """ |
| 99 self.monospacedFontSample.setFont(self.monospacedFont) | 100 self.monospacedFontSample.setFont(self.monospacedFont) |
| 100 self.marginsFontSample.setFont(self.marginsFont) | 101 self.marginsFontSample.setFont(self.marginsFont) |
| 101 | 102 |
| 103 | |
| 102 def create(dlg): | 104 def create(dlg): |
| 103 """ | 105 """ |
| 104 Module function to create the configuration page. | 106 Module function to create the configuration page. |
| 105 | 107 |
| 106 @param dlg reference to the configuration dialog | 108 @param dlg reference to the configuration dialog |
