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);