diff options
| author | Jeff Epler <jepler@gmail.com> | 2020-08-16 20:58:24 -0500 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2020-08-16 20:58:24 -0500 |
| commit | 880fe1a6942a6e37a0e11b86b5773682cfa280fb (patch) | |
| tree | ab8c34ecfb2e58709b51720e01b5b402de7e0ee9 /tools | |
| parent | 08ed09acc6c73bae5475735e6e39b10ccd951d36 (diff) | |
gen_display_resources: silence 'missing character' message
Since we made the decision to allow translations which do not have coverage in
the terminal font, these routinely occur and are expected. The message is
unhelpful and due to their voume make it harder to find relevant information
particularly in github actions results.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gen_display_resources.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/gen_display_resources.py b/tools/gen_display_resources.py index 478a2f22f..e4197aabf 100644 --- a/tools/gen_display_resources.py +++ b/tools/gen_display_resources.py @@ -61,7 +61,6 @@ f.load_glyphs(set(ord(c) for c in all_characters)) # Get each glyph. for c in set(all_characters): if ord(c) not in f._glyphs: - print("Font missing character:", c, ord(c)) filtered_characters = filtered_characters.replace(c, "") continue g = f.get_glyph(ord(c)) |