edit_push_markers  172 src/editor/edit-impl.h void edit_push_markers (WEdit *edit);
edit_push_markers 2632 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 2681 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 3149 src/editor/edit.c     edit_push_markers (edit);
edit_push_markers  520 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1341 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1390 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1542 src/editor/editcmd.c         edit_push_markers (edit);