Searched refs:bookmarks_lowercase (Results 1 – 11 of 11) 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()
47 bookmark_set bookmarks_lowercase; // duplicate check needs case insensitive variable147 bookmarks_lowercase.clear(); in inspect()187 = bookmarks_lowercase.insert( bookmark_lowercase ); in inspect()