44 self.stdOutErrCheckBox.setChecked( |
44 self.stdOutErrCheckBox.setChecked( |
45 Preferences.getShell("ShowStdOutErr")) |
45 Preferences.getShell("ShowStdOutErr")) |
46 |
46 |
47 self.monospacedFont = Preferences.getShell("MonospacedFont") |
47 self.monospacedFont = Preferences.getShell("MonospacedFont") |
48 self.monospacedFontSample.setFont(self.monospacedFont) |
48 self.monospacedFontSample.setFont(self.monospacedFont) |
49 self.monospacedCheckBox.setChecked(\ |
49 self.monospacedCheckBox.setChecked( |
50 Preferences.getShell("UseMonospacedFont")) |
50 Preferences.getShell("UseMonospacedFont")) |
51 self.marginsFont = Preferences.getShell("MarginsFont") |
51 self.marginsFont = Preferences.getShell("MarginsFont") |
52 self.marginsFontSample.setFont(self.marginsFont) |
52 self.marginsFontSample.setFont(self.marginsFont) |
53 |
53 |
54 def save(self): |
54 def save(self): |