pgtk_set_glyph_string_clipping 2246 src/pgtkterm.c       pgtk_set_glyph_string_clipping (s, cr);
pgtk_set_glyph_string_clipping 2457 src/pgtkterm.c 	    pgtk_set_glyph_string_clipping (next, cr);
pgtk_set_glyph_string_clipping 2480 src/pgtkterm.c       pgtk_set_glyph_string_clipping (s, cr);
pgtk_set_glyph_string_clipping 2483 src/pgtkterm.c       pgtk_set_glyph_string_clipping (s, cr);
pgtk_set_glyph_string_clipping 2495 src/pgtkterm.c     pgtk_set_glyph_string_clipping (s, cr);