double_marks      104 src/editor/bookmark.c                 return double_marks (edit, p);
double_marks      110 src/editor/bookmark.c             return double_marks (edit, p);
double_marks      126 src/editor/bookmark.c                     return double_marks (edit, p);
double_marks      132 src/editor/bookmark.c                 return double_marks (edit, p);