diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2018-10-01 05:53:58 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2018-10-11 09:38:26 +0300 |
| commit | 72a93ebd23b86a290eaf2b621afb97d9b3e2445e (patch) | |
| tree | e39f3c866ad6ad72f29507490a88ab519ec3841a /misc | |
| parent | 0c09885c359102ca5ab7c3f0cb951d251d06423e (diff) | |
| download | inter-72a93ebd23b86a290eaf2b621afb97d9b3e2445e.tar.xz | |
tools/gen-glyphinfo: print warning instead of crash when a glyph is in glyphOrder but not in the font
Diffstat (limited to 'misc')
| -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 |