edit_push_markers  190 src/editor/edit-impl.h void edit_push_markers (WEdit * edit);
edit_push_markers 2673 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 2722 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 3200 src/editor/edit.c     edit_push_markers (edit);
edit_push_markers  527 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1303 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1353 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1505 src/editor/editcmd.c         edit_push_markers (edit);