diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2023-11-03 23:24:50 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2023-11-03 23:24:50 +0200 |
| commit | 49327432b456c3110064556ac4613b49be54b925 (patch) | |
| tree | ae1d75b210b6168010c6a21332795907fc7c2f4d /src/charmem.py | |
| parent | bef9b09493403187079f4b8ec6633f5258376f44 (diff) | |
Fix character code mapping
Diffstat (limited to 'src/charmem.py')
| -rw-r--r-- | src/charmem.py | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/charmem.py b/src/charmem.py index 551ba85..aaac122 100644 --- a/src/charmem.py +++ b/src/charmem.py @@ -19,17 +19,19 @@ with open("charset.txt", "r") as f: header_chars = lines[0] charset: list[list[str]] = [] -CHAR_HEIGHT_BITS = 3 -CHAR_HEIGHT = 2 ** CHAR_HEIGHT_BITS + +CHAR_HEIGHT = 8 CHAR_WIDTH = 8 -i = CHAR_HEIGHT +i = 0 while i < len(lines): + i += 1 # skip comment line char = lines[i:i+CHAR_HEIGHT] for row in char: - assert len(row) == CHAR_WIDTH + if len(row) != CHAR_WIDTH: + raise Exception(f"char row number {i} has width != {CHAR_WIDTH}: {len(row)}\n" + row + "\n" + "\n".join(char)) charset.append(char) - i += CHAR_HEIGHT + i += CHAR_HEIGHT + 1 CHAR_N = len(charset) |
