edit_push_markers  172 src/editor/edit-impl.h void edit_push_markers (WEdit *edit);
edit_push_markers 2621 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 2670 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 3138 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);