add glyph_to_name

This commit is contained in:
jrkb 2025-05-18 13:40:05 +02:00
parent 71dda9f316
commit da382f5fab

View file

@ -77,6 +77,13 @@ def name_to_glyph(name):
return None
def glyph_to_name(glyph_id):
for k in name_to_glyph_d:
if glyph_id == name_to_glyph_d[k]:
return k
return glyph_id
def is_space(character):
for name in space_d:
if character == space_d[name][0]: