edit_push_markers  196 src/editor/edit-impl.h void edit_push_markers (WEdit * edit);
edit_push_markers 2661 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 2710 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 3188 src/editor/edit.c     edit_push_markers (edit);
edit_push_markers  527 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1293 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1343 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1495 src/editor/editcmd.c         edit_push_markers (edit);