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