Searched refs:bookmarks_lowercase (Results 1 – 1 of 1) sorted by relevance
44 bookmark_set bookmarks_lowercase; // duplicate check needs case insensitive variable144 bookmarks_lowercase.clear(); in inspect()184 = bookmarks_lowercase.insert( bookmark_lowercase ); in inspect()