diff -r 5ed8445f3b31 -r 8b5402794fb6 src/eric7/Project/ProjectSourcesBrowser.py --- a/src/eric7/Project/ProjectSourcesBrowser.py Fri Nov 25 14:15:48 2022 +0100 +++ b/src/eric7/Project/ProjectSourcesBrowser.py Sat Nov 26 12:30:14 2022 +0100 @@ -1124,15 +1124,19 @@ fn = itm.fileName() pfn = self.project.getMainScript(True) - files = set() + files = [] if pfn is not None: - files |= set(Utilities.getCoverageFileNames(pfn)) + files.extend( + [f for f in Utilities.getCoverageFileNames(pfn) if f not in files] + ) if fn is not None: - files |= set(Utilities.getCoverageFileNames(fn)) + files.extend( + [f for f in Utilities.getCoverageFileNames(fn) if f not in files] + ) - if list(files): + if files: if len(files) > 1: cfn, ok = QInputDialog.getItem( None, @@ -1163,15 +1167,19 @@ fn = itm.fileName() pfn = self.project.getMainScript(True) - files = set() + files = [] if pfn is not None: - files |= set(Utilities.getProfileFileNames(pfn)) + files.extend( + [f for f in Utilities.getProfileFileNames(pfn) if f not in files] + ) if fn is not None: - files |= set(Utilities.getProfileFileNames(fn)) + files.extend( + [f for f in Utilities.getProfileFileNames(fn) if f not in files] + ) - if list(files): + if files: if len(files) > 1: pfn, ok = QInputDialog.getItem( None,