Preferences/ConfigurationPages/ProjectBrowserPage.py

changeset 826
2e3e2055e715
parent 791
9ec2ac20e54e
child 945
8cd4d08fa9f6
child 1510
e75ecf2bd9dd
equal deleted inserted replaced
825:9cdec3c5bc07 826:2e3e2055e715
130 project type. 130 project type.
131 131
132 @param index index of the selected project type (integer) 132 @param index index of the selected project type (integer)
133 """ 133 """
134 if self.__currentProjectTypeIndex == index: 134 if self.__currentProjectTypeIndex == index:
135 return 135 return
136 136
137 self.__storeProjectBrowserFlags( 137 self.__storeProjectBrowserFlags(
138 self.projectTypeCombo.itemData(self.__currentProjectTypeIndex)) 138 self.projectTypeCombo.itemData(self.__currentProjectTypeIndex))
139 self.__setProjectBrowsersCheckBoxes( 139 self.__setProjectBrowsersCheckBoxes(
140 self.projectTypeCombo.itemData(index)) 140 self.projectTypeCombo.itemData(index))

eric ide

mercurial