Update editor to emit the new style of character bitmap

diff --git a/editor b/editor
index e62e7313b324c20ce5839e728000cf2141ca1226..d45bb61f0a0a896fe9f334138928b047fa15d903 100755 (executable)
--- 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):