From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sat, 26 Oct 2024 17:58:25 +0000 (+0100)
Subject: Update editor to emit the new style of character bitmap
X-Git-Tag: bedstead-3.246~101
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~bjharris/git?a=commitdiff_plain;h=e129bcd0343073cb0c825fd0bc8c0a443cfcfab6;p=bedstead-debian.git

Update editor to emit the new style of character bitmap
---

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):