diff options
| -rwxr-xr-x | src/util/genkeymap.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util/genkeymap.py b/src/util/genkeymap.py index e471cd31a..8df949612 100755 --- a/src/util/genkeymap.py +++ b/src/util/genkeymap.py @@ -381,6 +381,12 @@ class Keymap: if source.isprintable() and target and target in unreachable} + # Check that all characters are now reachable + unreachable -= set(table.values()) + if unreachable: + raise ValueError("Unreachable characters: %s" % ', '.join( + KeymapKeys.ascii_name(x) for x in sorted(unreachable) + )) return KeymapKeys(dict(sorted(table.items()))) def cname(self, suffix: str) -> str: |