--- a/src/eric7/UI/FindFileWidget.py Sun Dec 03 16:44:52 2023 +0100 +++ b/src/eric7/UI/FindFileWidget.py Sun Dec 03 19:46:34 2023 +0100 @@ -519,9 +519,7 @@ "^{0}$".format( assoc.replace(".", r"\.").replace("*", ".*") ) - for assoc in list( - Preferences.getEditorLexerAssocs().keys() - ) + for assoc in Preferences.getEditorLexerAssocs() if assoc not in self.__project.getFileCategoryExtension( fileType, reverse=True