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