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  519 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1340 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1389 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1541 src/editor/editcmd.c         edit_push_markers (edit);