|
|
|
|
@ -17,6 +17,7 @@ def make_splash(target, source, env):
|
|
|
|
|
g.write("/* THIS FILE IS GENERATED DO NOT EDIT */\n")
|
|
|
|
|
g.write("#ifndef BOOT_SPLASH_H\n")
|
|
|
|
|
g.write("#define BOOT_SPLASH_H\n")
|
|
|
|
|
# Use a neutral gray color to better fit various kinds of projects.
|
|
|
|
|
g.write("static const Color boot_splash_bg_color = Color(0.14, 0.14, 0.14);\n")
|
|
|
|
|
g.write("static const unsigned char boot_splash_png[] = {\n")
|
|
|
|
|
for i in range(len(buf)):
|
|
|
|
|
@ -36,7 +37,9 @@ def make_splash_editor(target, source, env):
|
|
|
|
|
g.write("/* THIS FILE IS GENERATED DO NOT EDIT */\n")
|
|
|
|
|
g.write("#ifndef BOOT_SPLASH_EDITOR_H\n")
|
|
|
|
|
g.write("#define BOOT_SPLASH_EDITOR_H\n")
|
|
|
|
|
g.write("static const Color boot_splash_editor_bg_color = Color(0.14, 0.14, 0.14);\n")
|
|
|
|
|
# The editor splash background color is taken from the default editor theme's background color.
|
|
|
|
|
# This helps achieve a visually "smoother" transition between the splash screen and the editor.
|
|
|
|
|
g.write("static const Color boot_splash_editor_bg_color = Color(0.125, 0.145, 0.192);\n")
|
|
|
|
|
g.write("static const unsigned char boot_splash_editor_png[] = {\n")
|
|
|
|
|
for i in range(len(buf)):
|
|
|
|
|
g.write(str(buf[i]) + ",\n")
|
|
|
|
|
|