edit_push_markers  197 src/editor/edit-impl.h void edit_push_markers (WEdit * edit);
edit_push_markers 2615 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 2664 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 3070 src/editor/edit.c     edit_push_markers (edit);
edit_push_markers  598 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 2372 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 2422 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 2901 src/editor/editcmd.c         edit_push_markers (edit);