Preferences/ConfigurationPages/ShellPage.py

changeset 2640
dedcd4f987e0
parent 2302
f29e9405c851
child 2677
3d4277929fb3
child 2964
84b65fb9e780
equal deleted inserted replaced
2634:8bd79dfb48a5 2640:dedcd4f987e0
26 super().__init__() 26 super().__init__()
27 self.setupUi(self) 27 self.setupUi(self)
28 self.setObjectName("ShellPage") 28 self.setObjectName("ShellPage")
29 29
30 # set initial values 30 # set initial values
31 self.shellLinenowidthSlider.setValue(
32 Preferences.getShell("LinenoWidth"))
33 self.shellLinenoCheckBox.setChecked( 31 self.shellLinenoCheckBox.setChecked(
34 Preferences.getShell("LinenoMargin")) 32 Preferences.getShell("LinenoMargin"))
35 self.shellWordWrapCheckBox.setChecked( 33 self.shellWordWrapCheckBox.setChecked(
36 Preferences.getShell("WrapEnabled")) 34 Preferences.getShell("WrapEnabled"))
37 self.shellACEnabledCheckBox.setChecked( 35 self.shellACEnabledCheckBox.setChecked(
54 52
55 def save(self): 53 def save(self):
56 """ 54 """
57 Public slot to save the Shell configuration. 55 Public slot to save the Shell configuration.
58 """ 56 """
59 Preferences.setShell("LinenoWidth",
60 self.shellLinenowidthSlider.value())
61 Preferences.setShell("LinenoMargin", 57 Preferences.setShell("LinenoMargin",
62 self.shellLinenoCheckBox.isChecked()) 58 self.shellLinenoCheckBox.isChecked())
63 Preferences.setShell("WrapEnabled", 59 Preferences.setShell("WrapEnabled",
64 self.shellWordWrapCheckBox.isChecked()) 60 self.shellWordWrapCheckBox.isChecked())
65 Preferences.setShell("AutoCompletionEnabled", 61 Preferences.setShell("AutoCompletionEnabled",

eric ide

mercurial