book_mark_flush   240 src/editor/edit-impl.h void book_mark_flush (WEdit * edit, int c);
book_mark_flush  2258 src/editor/edit.c     book_mark_flush (edit, -1);
book_mark_flush  3865 src/editor/edit.c         book_mark_flush (edit, BOOK_MARK_COLOR);
book_mark_flush  3866 src/editor/edit.c         book_mark_flush (edit, BOOK_MARK_FOUND_COLOR);
book_mark_flush   611 src/editor/editsearch.c         book_mark_flush (edit, -1);