book_mark_flush   246 src/editor/edit-impl.h void book_mark_flush (WEdit * edit, int c);
book_mark_flush  2246 src/editor/edit.c     book_mark_flush (edit, -1);
book_mark_flush  3853 src/editor/edit.c         book_mark_flush (edit, BOOK_MARK_COLOR);
book_mark_flush  3854 src/editor/edit.c         book_mark_flush (edit, BOOK_MARK_FOUND_COLOR);
book_mark_flush   610 src/editor/editsearch.c         book_mark_flush (edit, -1);