equal
deleted
inserted
replaced
1321 if self._ProjectFilesView is None: |
1321 if self._ProjectFilesView is None: |
1322 self._ProjectFilesView = FileManagementPanel( |
1322 self._ProjectFilesView = FileManagementPanel( |
1323 self.AppFrame.TabsOpened, self, name, self._getProjectFilesPath(), True) |
1323 self.AppFrame.TabsOpened, self, name, self._getProjectFilesPath(), True) |
1324 |
1324 |
1325 extensions = [] |
1325 extensions = [] |
1326 for extension, name, editor in features.file_editors: |
1326 for extension, _name, _editor in features.file_editors: |
1327 if extension not in extensions: |
1327 if extension not in extensions: |
1328 extensions.append(extension) |
1328 extensions.append(extension) |
1329 self._ProjectFilesView.SetEditableFileExtensions(extensions) |
1329 self._ProjectFilesView.SetEditableFileExtensions(extensions) |
1330 |
1330 |
1331 if self._ProjectFilesView is not None: |
1331 if self._ProjectFilesView is not None: |