Mercurial Repositories > eric / file diff

diff -r 9e972ace410a -r 0f14e170a803 Preferences/ConfigurationPages/ApplicationPage.py
--- a/Preferences/ConfigurationPages/ApplicationPage.py	Wed Dec 14 19:17:33 2016 +0100
+++ b/Preferences/ConfigurationPages/ApplicationPage.py	Wed Dec 14 19:27:10 2016 +0100
@@ -32,6 +32,8 @@
             Preferences.getUI("SingleApplicationMode"))
         self.splashScreenCheckBox.setChecked(
             Preferences.getUI("ShowSplash"))
+        self.crashSessionEnabledCheckBox.setChecked(
+            Preferences.getUI("CrashSessionEnabled"))
         
         openOnStartup = Preferences.getUI("OpenOnStartup")
         if openOnStartup == 0:
@@ -78,6 +80,9 @@
         Preferences.setUI(
             "ShowSplash",
             self.splashScreenCheckBox.isChecked())
+        Preferences.setUI(
+            "CrashSessionEnabled",
+            self.crashSessionEnabledCheckBox.isChecked())
         
         if self.noOpenRadioButton.isChecked():
             openOnStartup = 0