void remove(File const &file) { DENG2_GUARD_WRITE(this); if(index.empty()) { return; } // Look up the ones that might be this file. IndexRange range = index.equal_range(indexedName(file)); for(Index::iterator i = range.first; i != range.second; ++i) { if(i->second == &file) { // This is the one to deindex. index.erase(i); break; } } }