Add credits UI

Lists all GitHub contributors and moderators, alongside the original credits (which were moved from the intro text to here)

The UI itself is controlled with credits.json. This can be regenerated with resources/gencredits.py.
This commit is contained in:
jacob1
2024-10-16 23:24:42 -04:00
parent 9fa0fc45bc
commit 57593fb212
15 changed files with 412 additions and 25 deletions

View File

@@ -118,3 +118,4 @@ endif
data_files += to_array.process('save_local.png', extra_args: 'save_local_png')
data_files += to_array.process('save_online.png', extra_args: 'save_online_png')
data_files += to_array.process('font.bz2', extra_args: 'compressed_font_data')
data_files += to_array.process('credits.json', extra_args: 'credits_json')