Preferences/ConfigurationPages/ApplicationPage.py

changeset 5379
0f14e170a803
parent 5371
01c4c059142b
child 5389
9b1c800daff3
equal deleted inserted replaced
5378:9e972ace410a 5379:0f14e170a803
30 # set initial values 30 # set initial values
31 self.singleApplicationCheckBox.setChecked( 31 self.singleApplicationCheckBox.setChecked(
32 Preferences.getUI("SingleApplicationMode")) 32 Preferences.getUI("SingleApplicationMode"))
33 self.splashScreenCheckBox.setChecked( 33 self.splashScreenCheckBox.setChecked(
34 Preferences.getUI("ShowSplash")) 34 Preferences.getUI("ShowSplash"))
35 self.crashSessionEnabledCheckBox.setChecked(
36 Preferences.getUI("CrashSessionEnabled"))
35 37
36 openOnStartup = Preferences.getUI("OpenOnStartup") 38 openOnStartup = Preferences.getUI("OpenOnStartup")
37 if openOnStartup == 0: 39 if openOnStartup == 0:
38 self.noOpenRadioButton.setChecked(True) 40 self.noOpenRadioButton.setChecked(True)
39 elif openOnStartup == 1: 41 elif openOnStartup == 1:
76 "SingleApplicationMode", 78 "SingleApplicationMode",
77 self.singleApplicationCheckBox.isChecked()) 79 self.singleApplicationCheckBox.isChecked())
78 Preferences.setUI( 80 Preferences.setUI(
79 "ShowSplash", 81 "ShowSplash",
80 self.splashScreenCheckBox.isChecked()) 82 self.splashScreenCheckBox.isChecked())
83 Preferences.setUI(
84 "CrashSessionEnabled",
85 self.crashSessionEnabledCheckBox.isChecked())
81 86
82 if self.noOpenRadioButton.isChecked(): 87 if self.noOpenRadioButton.isChecked():
83 openOnStartup = 0 88 openOnStartup = 0
84 elif self.lastFileRadioButton.isChecked(): 89 elif self.lastFileRadioButton.isChecked():
85 openOnStartup = 1 90 openOnStartup = 1

eric ide

mercurial