Branch: refs/heads/themes Author: Jiří Techet techet@gmail.com Committer: Jiří Techet techet@gmail.com Date: Thu, 21 Nov 2024 17:25:12 UTC Commit: 9a62eb62b0d9aa32cc5879801f28e2d1643f5026 https://github.com/geany/geany/commit/9a62eb62b0d9aa32cc5879801f28e2d1643f50...

Log Message: ----------- Warn when Geany contains more themes than geany-themes

Modified Paths: -------------- scripts/update-themes.py

Modified: scripts/update-themes.py 10 lines changed, 9 insertions(+), 1 deletions(-) =================================================================== @@ -104,4 +104,12 @@ shutil.copy(theme, dstdir)

if new_theme: - print("Don't forget to add the newly added themes to data/Makefile.am !!!") + print("\nDon't forget to add the newly added themes to data/Makefile.am !!!") + +os.chdir(dstdir) +dst_themes = glob.glob('*.conf') + +extra_dst_themes = set(dst_themes) - set(source_themes) +if extra_dst_themes: + print((f'\nWarning: themes {extra_dst_themes} found in Geany themes directory but not in geany-themes. ' + f'Should these be added to geany-themes?'))

-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).