Preferences/ConfigurationPages/ProjectPage.py

changeset 6576
ea60ea85067a
parent 6237
8abadfc5b7cb
child 6645
ad476851d7e0
diff -r 40a11619ee77 -r ea60ea85067a Preferences/ConfigurationPages/ProjectPage.py
--- a/Preferences/ConfigurationPages/ProjectPage.py	Sat Nov 03 14:16:43 2018 +0100
+++ b/Preferences/ConfigurationPages/ProjectPage.py	Sat Nov 03 14:19:21 2018 +0100
@@ -60,6 +60,8 @@
             Preferences.getProject("TasksProjectAutoSave"))
         self.rescanTasksCheckBox.setChecked(
             Preferences.getProject("TasksProjectRescanOnOpen"))
+        self.restartShellCheckBox.setChecked(
+            Preferences.getProject("RestartShellForProject"))
         
     def save(self):
         """
@@ -113,6 +115,9 @@
         Preferences.setProject(
             "TasksProjectRescanOnOpen",
             self.rescanTasksCheckBox.isChecked())
+        Preferences.setProject(
+            "RestartShellForProject",
+            self.restartShellCheckBox.isChecked())
     
 
 def create(dlg):

eric ide

mercurial