Fix for filenames with leading wildcard

This commit is contained in:
CoeJoder
2023-01-02 06:54:45 -08:00
parent bd88f12846
commit 431f06bb51
2 changed files with 13 additions and 13 deletions

View File

@@ -69,7 +69,7 @@ def fetch_lexers():
for filename in filenames:
filename = filename.strip()
if '\\' not in filename:
if filename.startswith('*'):
if filename.startswith(r'*.'):
ext_values = recognized_extensions.setdefault(name, [])
ext_values.append(filename[1:])
elif filename != 'None':