mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-03 17:44:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Actually reuse previous search entries (#20171)

Browse source 
Release Notes:

- Improved outline panel performance during large project searches
This commit is contained in:
Kirill Bulatov 2024-11-04 17:21:09 +02:00 committed by GitHub
parent 6316151a83
commit d90770c673
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 14 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
crates/outline_panel/src/outline_panel.rs
View file

@ -3499,35 +3499,27 @@ impl OutlinePanel {
|| related_excerpts.contains(&match_range.end.excerpt_id)
});
let previous_search_matches = state
.entries
let previous_search_matches = self
.cached_entries
.iter()
.skip_while(|entry| {
if let PanelEntry::Fs(entry) = &entry.entry {
entry == &parent_entry
.filter_map(|entry| {
if let PanelEntry::Search(search_entry) = &entry.entry {
Some(search_entry)
} else {
true
None
}
})
.take_while(|entry| matches!(entry.entry, PanelEntry::Search(_)))
.fold(
HashMap::default(),
|mut previous_matches, previous_entry| match &previous_entry.entry {
PanelEntry::Search(search_entry) => {
previous_matches.insert(
(search_entry.kind, &search_entry.match_range),
&search_entry.render_data,
);
previous_matches
}
_ => previous_matches,
},
);
.filter(|search_entry| search_entry.kind == kind)
.filter(|search_entry| {
related_excerpts.contains(&search_entry.match_range.start.excerpt_id)
|| related_excerpts.contains(&search_entry.match_range.end.excerpt_id)
})
.map(|search_entry| (&search_entry.match_range, &search_entry.render_data))
.collect::<HashMap<_, _>>();
let new_search_entries = new_search_matches
.map(|(match_range, search_data)| {
let previous_search_data =
previous_search_matches.get(&(kind, match_range)).copied();
let previous_search_data = previous_search_matches.get(&match_range).copied();
let render_data = search_data
.get()
.or(previous_search_data)