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);