double_marks      102 src/editor/bookmark.c                 return double_marks (edit, p);
double_marks      108 src/editor/bookmark.c             return double_marks (edit, p);
double_marks      124 src/editor/bookmark.c                     return double_marks (edit, p);
double_marks      130 src/editor/bookmark.c                 return double_marks (edit, p);