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