times_replaced   2614 src/editor/editcmd.c     long times_replaced = 0;
times_replaced   2800 src/editor/editcmd.c             times_replaced++;
times_replaced   2824 src/editor/editcmd.c             if (times_replaced == 0)
times_replaced   2836 src/editor/editcmd.c     if (edit->replace_mode == 1 && times_replaced != 0)
times_replaced   2837 src/editor/editcmd.c         message (D_NORMAL, _("Replace"), _("%ld replacements made"), times_replaced);