Lines Matching defs:bookmark
245 /* Add bookmark target methods. */
1885 const char *bookmark = (const char *) raw_bookmark;
1889 "record_full_goto_bookmark receives %s\n", bookmark);
1892 if (bookmark[0] == '\'' || bookmark[0] == '\"')
1894 if (bookmark[strlen (bookmark) - 1] != bookmark[0])
1895 error (_("Unbalanced quotes: %s"), bookmark);
1897 name_holder = std::string (bookmark + 1, strlen (bookmark) - 2);
1898 bookmark = name_holder.c_str ();
1901 record_goto (bookmark);
Indexes created Wed May 06 00:24:28 UTC 2026