edit_replace_cmd  198 src/editor/edit-impl.h void edit_replace_cmd (WEdit * edit, gboolean again);
edit_replace_cmd 3855 src/editor/edit.c         edit_replace_cmd (edit, FALSE);
edit_replace_cmd 3858 src/editor/edit.c         edit_replace_cmd (edit, TRUE);