scene/resources/default_theme/make_png_header.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41


import os;
import glob;
import string;

pixmaps = glob.glob("*.png");

pixmaps.sort();

#Generate include files

f=open("theme_data.h","wb")

f.write("// THIS FILE HAS BEEN AUTOGENERATED, DONT EDIT!!\n");

f.write("\n\n");

f.write("\n\n\n");
	

for x in pixmaps:
	
	var_str=x[:-4]+"_png";
	
	f.write("static const unsigned char "+ var_str +"[]={\n");
	
	pngf=open(x,"rb");
	
	b=pngf.read(1);
	while(len(b)==1):
		f.write(hex(ord(b)))
		b=pngf.read(1);
		if (len(b)==1):
			f.write(",")
			
	f.write("\n};\n\n\n");
	pngf.close();
	
f.close();