Preferences/ConfigurationPages/ShellPage.py

changeset 564
b3d966393ba9
parent 13
1af94a91f439
child 791
9ec2ac20e54e
equal deleted inserted replaced
563:e35d2cda9a74 564:b3d966393ba9
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):

eric ide

mercurial