--- a/src/eric7/UI/FindLocationWidget.py Mon Jul 03 16:31:29 2023 +0200 +++ b/src/eric7/UI/FindLocationWidget.py Mon Jul 03 16:59:01 2023 +0200 @@ -176,10 +176,12 @@ fileNamePatterns.append(patternFormat.format(fileName or "*")) searchPaths = [] + ignorePaths = [] if self.searchDirCheckBox.isChecked() and self.searchDirPicker.text() != "": searchPaths.append(self.searchDirPicker.text()) if self.projectCheckBox.isChecked(): searchPaths.append(self.__project.getProjectPath()) + ignorePaths.append(self.__project.getProjectVenvPath()) if self.syspathCheckBox.isChecked(): searchPaths.extend(sys.path) @@ -193,7 +195,12 @@ for path in searchPaths: if os.path.isdir(path): files = FileSystemUtilities.direntries( - path, True, fileNamePatterns, False, self.checkStop + path, + filesonly=True, + pattern=fileNamePatterns, + followsymlinks=False, + checkStop=self.checkStop, + ignore=ignorePaths, ) if files: for file in files: