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