diff -r 9875d5f11cbf -r 31aaa11672d3 src/eric7/PluginManager/PluginRepositoryDialog.py
--- a/src/eric7/PluginManager/PluginRepositoryDialog.py Fri Dec 23 11:36:26 2022 +0100
+++ b/src/eric7/PluginManager/PluginRepositoryDialog.py Fri Dec 23 11:37:49 2022 +0100
@@ -1084,6 +1084,7 @@
downloadPath = Preferences.getPluginManager("DownloadPath")
downloads = {} # plug-in name as key, file name as value
+ # TODO: replace os.listdir() with os.scandir()
# step 1: extract plug-ins and downloaded files
for pluginFile in os.listdir(downloadPath):
if not os.path.isfile(os.path.join(downloadPath, pluginFile)):
