|
|
@ -70,14 +70,14 @@ def load(filename): |
|
|
|
f.spacing = int(m.group(1)) |
|
|
|
f.spacing = int(m.group(1)) |
|
|
|
continue |
|
|
|
continue |
|
|
|
|
|
|
|
|
|
|
|
m = re.match('^\s*@(\d+)\|(\d+)\s*$', line): |
|
|
|
m = re.match('^\s*@(\d+)\|(\d+)\s*$', line) |
|
|
|
if m: |
|
|
|
if m: |
|
|
|
charCode = int(m.group(1)) |
|
|
|
charCode = int(m.group(1)) |
|
|
|
charWidth = int(m.group(2)) |
|
|
|
charWidth = int(m.group(2)) |
|
|
|
charPixels = [] |
|
|
|
charPixels = [] |
|
|
|
continue |
|
|
|
continue |
|
|
|
|
|
|
|
|
|
|
|
m = re.match('^\s*([01]+)\s*$', line): |
|
|
|
m = re.match('^\s*([01]+)\s*$', line) |
|
|
|
if m and charPixels != None: |
|
|
|
if m and charPixels != None: |
|
|
|
charRow = m.group(1) |
|
|
|
charRow = m.group(1) |
|
|
|
if len(charRow) < charWidth: |
|
|
|
if len(charRow) < charWidth: |
|
|
@ -88,10 +88,3 @@ def load(filename): |
|
|
|
charPixels.append(row) |
|
|
|
charPixels.append(row) |
|
|
|
|
|
|
|
|
|
|
|
continue |
|
|
|
continue |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|