Mercurial Repositories > eric / file diff

--- a/src/eric7/QScintilla/Editor.py	Fri Nov 25 14:15:48 2022 +0100
+++ b/src/eric7/QScintilla/Editor.py	Sat Nov 26 12:30:14 2022 +0100
@@ -6136,7 +6136,7 @@
         @return file name of the coverage file
         @rtype str
         """
-        files = set()
+        files = []
 
         if bool(self.__coverageFile):
             # return the path of a previously used coverage file
@@ -6149,12 +6149,16 @@
         ):
             pfn = self.project.getMainScript(True)
             if pfn is not None:
-                files |= set(Utilities.getCoverageFileNames(pfn))
+                files.extend(
+                    [f for f in Utilities.getCoverageFileNames(pfn) if f not in files]
+                )
 
         # now check, if there are coverage files belonging to ourselves
         fn = self.getFileName()
         if fn is not None:
-            files |= set(Utilities.getCoverageFileNames(fn))
+            files.extend(
+                [f for f in Utilities.getCoverageFileNames(fn) if f not in files]
+            )
 
         files = list(files)
         if files:
@@ -6319,7 +6323,7 @@
         """
         from eric7.DataViews.PyProfileDialog import PyProfileDialog
 
-        files = set()
+        files = []
 
         # first check if the file belongs to a project and there is
         # a project profile file
@@ -6328,12 +6332,16 @@
         ):
             fn = self.project.getMainScript(True)
             if fn is not None:
-                files |= set(Utilities.getProfileFileNames(fn))
+                files.extend(
+                    [f for f in Utilities.getProfileFileNames(fn) if f not in files]
+                )
 
         # now check, if there are profile files belonging to ourselves
         fn = self.getFileName()
         if fn is not None:
-            files |= set(Utilities.getProfileFileNames(fn))
+            files.extend(
+                [f for f in Utilities.getProfileFileNames(fn) if f not in files]
+            )
 
         files = list(files)
         if files: