times_replaced   2535 src/editor/editcmd.c     long times_replaced = 0;
times_replaced   2720 src/editor/editcmd.c             times_replaced++;
times_replaced   2746 src/editor/editcmd.c             if (times_replaced == 0)
times_replaced   2758 src/editor/editcmd.c     if ((edit->replace_mode == 1) && (times_replaced != 0))
times_replaced   2759 src/editor/editcmd.c         message (D_NORMAL, _("Replace"), _("%ld replacements made"), times_replaced);