--- a/src/eric7/PluginManager/PluginInstallDialog.py Sat May 27 18:57:32 2023 +0200 +++ b/src/eric7/PluginManager/PluginInstallDialog.py Sat May 27 20:03:31 2023 +0200 @@ -340,7 +340,7 @@ insideHeader = False for line in pluginSource.splitlines(): line = line.strip() - if line.startswith("# Start-Of-Header"): + if line.lower().startswith("# start-of-header"): insideHeader = True continue @@ -351,7 +351,7 @@ # it is a new style header separator = ":" continue - elif line.startswith("# End-Of-Header"): + elif line.lower().startswith("# end-of-header"): break with contextlib.suppress(ValueError):