Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/TerminalPage.py
Preferences/ConfigurationPages/TerminalPage.py
- changeset 945
- 8cd4d08fa9f6
- parent 791
- 9ec2ac20e54e
- child 1131
- 7781e396c903
equal
deleted
inserted
replaced
| 944:1b59c4ba121e | 945:8cd4d08fa9f6 |
|---|---|
| 12 from .ConfigurationPageBase import ConfigurationPageBase | 12 from .ConfigurationPageBase import ConfigurationPageBase |
| 13 from .Ui_TerminalPage import Ui_TerminalPage | 13 from .Ui_TerminalPage import Ui_TerminalPage |
| 14 | 14 |
| 15 import Preferences | 15 import Preferences |
| 16 import Utilities | 16 import Utilities |
| 17 | |
| 17 | 18 |
| 18 class TerminalPage(ConfigurationPageBase, Ui_TerminalPage): | 19 class TerminalPage(ConfigurationPageBase, Ui_TerminalPage): |
| 19 """ | 20 """ |
| 20 Class implementing the Terminal configuration page. | 21 Class implementing the Terminal configuration page. |
| 21 """ | 22 """ |
| 70 Preferences.setTerminal("MonospacedFont", self.monospacedFont) | 71 Preferences.setTerminal("MonospacedFont", self.monospacedFont) |
| 71 Preferences.setTerminal("UseMonospacedFont", | 72 Preferences.setTerminal("UseMonospacedFont", |
| 72 self.monospacedCheckBox.isChecked()) | 73 self.monospacedCheckBox.isChecked()) |
| 73 Preferences.setTerminal("MarginsFont", self.marginsFont) | 74 Preferences.setTerminal("MarginsFont", self.marginsFont) |
| 74 | 75 |
| 75 Preferences.setTerminal("Shell", | 76 Preferences.setTerminal("Shell", |
| 76 self.shellCombo.currentText()) | 77 self.shellCombo.currentText()) |
| 77 Preferences.setTerminal("ShellInteractive", | 78 Preferences.setTerminal("ShellInteractive", |
| 78 self.interactiveCheckBox.isChecked()) | 79 self.interactiveCheckBox.isChecked()) |
| 79 | 80 |
| 80 @pyqtSlot() | 81 @pyqtSlot() |
| 81 def on_monospacedFontButton_clicked(self): | 82 def on_monospacedFontButton_clicked(self): |
| 82 """ | 83 """ |
| 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 |
