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