pgtk_set_glyph_string_clipping 2243 src/pgtkterm.c       pgtk_set_glyph_string_clipping (s, cr);
pgtk_set_glyph_string_clipping 2454 src/pgtkterm.c 	    pgtk_set_glyph_string_clipping (next, cr);
pgtk_set_glyph_string_clipping 2477 src/pgtkterm.c       pgtk_set_glyph_string_clipping (s, cr);
pgtk_set_glyph_string_clipping 2480 src/pgtkterm.c       pgtk_set_glyph_string_clipping (s, cr);
pgtk_set_glyph_string_clipping 2492 src/pgtkterm.c     pgtk_set_glyph_string_clipping (s, cr);