Preferences/ConfigurationPages/ApplicationPage.py

changeset 5371
01c4c059142b
parent 5011
4085e2348621
child 5379
0f14e170a803
--- a/Preferences/ConfigurationPages/ApplicationPage.py	Sat Dec 10 17:16:38 2016 +0100
+++ b/Preferences/ConfigurationPages/ApplicationPage.py	Sun Dec 11 16:25:42 2016 +0100
@@ -44,6 +44,8 @@
             self.lastMultiprojectRadioButton.setChecked(True)
         elif openOnStartup == 4:
             self.globalSessionRadioButton.setChecked(True)
+        self.openCrashSessionCheckBox.setChecked(
+            Preferences.getUI("OpenCrashSessionOnStartup"))
         
         period = Preferences.getUI("PerformVersionCheck")
         if period == 0:
@@ -88,6 +90,8 @@
         elif self.globalSessionRadioButton.isChecked():
             openOnStartup = 4
         Preferences.setUI("OpenOnStartup", openOnStartup)
+        Preferences.setUI("OpenCrashSessionOnStartup",
+            self.openCrashSessionCheckBox.isChecked())
         
         if self.noCheckRadioButton.isChecked():
             period = 0

eric ide

mercurial