Preferences/ConfigurationPages/ProjectPage.py

branch
make_support
changeset 6237
8abadfc5b7cb
parent 6048
82ad8ec9548c
child 6576
ea60ea85067a
diff -r de1de28d0930 -r 8abadfc5b7cb Preferences/ConfigurationPages/ProjectPage.py
--- a/Preferences/ConfigurationPages/ProjectPage.py	Fri Apr 13 18:51:57 2018 +0200
+++ b/Preferences/ConfigurationPages/ProjectPage.py	Fri Apr 13 18:54:55 2018 +0200
@@ -48,6 +48,8 @@
             Preferences.getProject("AutoCompileForms"))
         self.projectAutoCompileResourcesCheckBox.setChecked(
             Preferences.getProject("AutoCompileResources"))
+        self.projectAutoMakeCheckBox.setChecked(
+            Preferences.getProject("AutoExecuteMake"))
         self.projectTimestampCheckBox.setChecked(
             Preferences.getProject("XMLTimestamp"))
         self.projectRecentSpinBox.setValue(
@@ -94,6 +96,9 @@
             "AutoCompileResources",
             self.projectAutoCompileResourcesCheckBox.isChecked())
         Preferences.setProject(
+            "AutoExecuteMake",
+            self.projectAutoMakeCheckBox.isChecked())
+        Preferences.setProject(
             "XMLTimestamp",
             self.projectTimestampCheckBox.isChecked())
         Preferences.setProject(

eric ide

mercurial