From e129bcd0343073cb0c825fd0bc8c0a443cfcfab6 Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Sat, 26 Oct 2024 18:58:25 +0100 Subject: [PATCH] Update editor to emit the new style of character bitmap --- editor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/editor b/editor index e62e731..d45bb61 100755 --- a/editor +++ b/editor @@ -193,8 +193,8 @@ class EditorGui: def key(self, event): if event.char in (' '): - bm = ",".join(map(lambda n: "%03o" % n, self.bitmap)) - print(" {{%s}, 0x }," % bm) + bm = "".join(map(lambda n: "\\%02o" % n, self.bitmap)) + print(' {"%s", U() },' % bm) elif event.char in ('c','C'): for y in range(YSIZE): for x in range(XSIZE): -- 2.30.2