android_set_glyph_string_clipping 3444 src/androidterm.c   android_set_glyph_string_clipping (s);
android_set_glyph_string_clipping 3885 src/androidterm.c 	    android_set_glyph_string_clipping (next);
android_set_glyph_string_clipping 3905 src/androidterm.c       android_set_glyph_string_clipping (s);
android_set_glyph_string_clipping 3908 src/androidterm.c       android_set_glyph_string_clipping (s);
android_set_glyph_string_clipping 3920 src/androidterm.c     android_set_glyph_string_clipping (s);