edit_push_markers  196 src/editor/edit-impl.h void edit_push_markers (WEdit * edit);
edit_push_markers 2617 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 2666 src/editor/edit.c         edit_push_markers (edit);
edit_push_markers 3072 src/editor/edit.c     edit_push_markers (edit);
edit_push_markers  532 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1348 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1398 src/editor/editcmd.c     edit_push_markers (edit);
edit_push_markers 1547 src/editor/editcmd.c         edit_push_markers (edit);