text_buffer bug fixes & Sort option

2025-12-10 22:18:54 +00:00 · 2020-03-20 20:54:22 -04:00
parent 6e5772f13b
commit 0505303503
14 changed files with 160 additions and 65 deletions
--- a/scripts/index_static.py
+++ b/scripts/index_static.py
@@ -14,4 +14,5 @@ def clean(filepath):
 for file in files:
    with open(file, "r") as f:
        data = json.dumps(json.load(f), separators=(",", ":")).encode()
+    data += b'\0'
    print("char %s[%d] = {%s};" % (clean(file), len(data), ",".join(str(int(b)) for b in data)))