Merge pull request #2371 from zed-industries/refresh-entry-delay

Restructure background scanner to handle refresh requests even while scanning directories
This commit is contained in:
Max Brunsfeld 2023-04-13 12:44:04 -07:00
parent ea8dba625d
commit 301609d595
3 changed files with 332 additions and 383 deletions

View file

@ -154,6 +154,12 @@ impl<K> TreeSet<K>
where
K: Clone + Debug + Default + Ord,
{
pub fn from_ordered_entries(entries: impl IntoIterator<Item = K>) -> Self {
Self(TreeMap::from_ordered_entries(
entries.into_iter().map(|key| (key, ())),
))
}
pub fn insert(&mut self, key: K) {
self.0.insert(key, ());
}