edit_push_markers  173 src/editor/edit-impl.h void edit_push_markers (WEdit * edit);
edit_push_markers 2655 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 2704 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 3182 src/editor/edit.c     edit_push_markers (edit);
edit_push_markers  519 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1294 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1344 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1496 src/editor/editcmd.c         edit_push_markers (edit);