Searched refs:troff_charname (Results 1 – 1 of 1) sorted by relevance
1414 string troff_charname = str.substring(a, n-a); in add_and_encode() local1415 html_glyph = get_html_translation(s->f, troff_charname); in add_and_encode()1419 int idx=s->f->name_to_index((troff_charname + '\0').contents()); in add_and_encode()