zfont-bitfontmaker2/zfont-bitfont.py

23 lines
876 B
Python

true = True
false = False
s = ''' 0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ-_~./<>[]:&↓#="\*?%+,()@'!$;`^{}▲▼◀▶←½🗖🗕□。「」、・ヲァィゥェォャュョッーアイウエオカキクケコサシスセソタチツテトナニヌネノハヒフヘホマミムメモヤユヨラリルレロワン゛゜'''
it = iter(s)
d = {}
f = open('zfont.txt', 'r')
for line in f:
if line.startswith(';'):
c = str(ord(next(it)))
d[c] = [0, 0, 0, 0, 0, 0, 0]
elif not line.startswith('EOF'):
d[c].append(4 * int(line.strip()[::-1], 2))
for k in d:
d[k].extend([0, 0, 0, 0])
d.update({"name":"ZFONT","copy":"","letterspace":"64","basefont_size":"200","basefont_left":"62","basefont_top":"0","basefont":"Courier","basefont2":"","monospace":true,"monospacewidth":"6","ascender":"5","descender":"0"})
import json
print(json.dumps(d))