pp                581 lib/widget/input.c         char *pp;
pp                583 lib/widget/input.c         for (pp = p; *pp != '\0'; pp++)
pp                584 lib/widget/input.c             insert_char (in, *pp);
pp                689 src/filemanager/ext.c             char *pp;
pp                692 src/filemanager/ext.c             pp = strchr (encoding_id, '\n');
pp                693 src/filemanager/ext.c             if (pp != NULL)
pp                694 src/filemanager/ext.c                 *pp = '\0';
pp                709 src/filemanager/ext.c             char *pp;
pp                711 src/filemanager/ext.c             pp = strchr (content_string, '\n');
pp                712 src/filemanager/ext.c             if (pp != NULL)
pp                713 src/filemanager/ext.c                 *pp = '\0';