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                693 src/filemanager/ext.c             char *pp;
pp                696 src/filemanager/ext.c             pp = strchr (encoding_id, '\n');
pp                697 src/filemanager/ext.c             if (pp != NULL)
pp                698 src/filemanager/ext.c                 *pp = '\0';
pp                713 src/filemanager/ext.c             char *pp;
pp                715 src/filemanager/ext.c             pp = strchr (content_string, '\n');
pp                716 src/filemanager/ext.c             if (pp != NULL)
pp                717 src/filemanager/ext.c                 *pp = '\0';