book_mark_flush   223 src/editor/edit-impl.h void book_mark_flush (WEdit * edit, int c);
book_mark_flush  2240 src/editor/edit.c     book_mark_flush (edit, -1);
book_mark_flush  3847 src/editor/edit.c         book_mark_flush (edit, BOOK_MARK_COLOR);
book_mark_flush  3848 src/editor/edit.c         book_mark_flush (edit, BOOK_MARK_FOUND_COLOR);
book_mark_flush   596 src/editor/editsearch.c         book_mark_flush (edit, -1);