diff options
Diffstat (limited to 'misc/tools/gen-glyphinfo.py')
-rwxr-xr-x | misc/tools/gen-glyphinfo.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/misc/tools/gen-glyphinfo.py b/misc/tools/gen-glyphinfo.py index 9be36952e..be7a4afd3 100755 --- a/misc/tools/gen-glyphinfo.py +++ b/misc/tools/gen-glyphinfo.py @@ -81,6 +81,13 @@ def main(): if name in visitedGlyphNames: continue + if name not in font: + print( + "warning: %r in public.glyphOrder but doesn't exist in font" % name, + file=sys.stderr + ) + continue + g = font[name] # color |