Preferences/ConfigurationPages/ProjectPage.py

changeset 802
e8882d16384c
parent 791
9ec2ac20e54e
child 945
8cd4d08fa9f6
child 1510
e75ecf2bd9dd
--- a/Preferences/ConfigurationPages/ProjectPage.py	Sun Jan 02 12:01:37 2011 +0100
+++ b/Preferences/ConfigurationPages/ProjectPage.py	Mon Jan 03 17:10:45 2011 +0100
@@ -49,6 +49,8 @@
             Preferences.getProject("XMLTimestamp"))
         self.projectRecentSpinBox.setValue(
             Preferences.getProject("RecentNumber"))
+        self.pythonVariantCheckBox.setChecked(
+            Preferences.getProject("DeterminePyFromProject"))
         
     def save(self):
         """
@@ -78,6 +80,8 @@
             self.projectTimestampCheckBox.isChecked())
         Preferences.setProject("RecentNumber", 
             self.projectRecentSpinBox.value())
+        Preferences.setProject("DeterminePyFromProject",
+            self.pythonVariantCheckBox.isChecked())
     
 def create(dlg):
     """

eric ide

mercurial