src/eric7/Project/ProjectBrowser.py

branch
eric7-maintenance
changeset 9554
fe8c29d7cf96
parent 9527
8601253e7633
child 9654
7328efba128b
equal deleted inserted replaced
9553:1e1a5cf4fafc 9554:fe8c29d7cf96
369 browsersList = ( 369 browsersList = (
370 Preferences.getProjectBrowsers(self.project.getProjectType()) 370 Preferences.getProjectBrowsers(self.project.getProjectType())
371 if self.project.isOpen() 371 if self.project.isOpen()
372 else list(self.__browserRepository.keys()) 372 else list(self.__browserRepository.keys())
373 ) 373 )
374 browsersList = [b for b in browsersList if b in self.__browserRepository]
374 375
375 if browsersList != self.__currentBrowsersList: 376 if browsersList != self.__currentBrowsersList:
376 self.__currentBrowsersList = browsersList[:] 377 self.__currentBrowsersList = browsersList[:]
377 self.__setBrowsersAvailable(browsersList) 378 self.__setBrowsersAvailable(browsersList)
378 379

eric ide

mercurial