bookmarked        381 src/editor/editdraw.c                  long end_col, line_s line[], char *status, int bookmarked)
bookmarked        402 src/editor/editdraw.c     if (bookmarked != 0)
bookmarked        403 src/editor/editdraw.c         tty_setcolor (bookmarked);