edit_push_markers  172 src/editor/edit-impl.h void edit_push_markers (WEdit *edit);
edit_push_markers 2623 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 2672 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 3140 src/editor/edit.c     edit_push_markers (edit);
edit_push_markers  519 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1292 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1341 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1493 src/editor/editcmd.c         edit_push_markers (edit);