Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Properly filter out new hints outside of excerpts' visible ranges

Browse source
This commit is contained in:
Kirill Bulatov 2023-06-23 13:11:09 +03:00
parent ba3d1e4dba
commit a68e68a0d9
2 changed files with 17 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/editor/src/editor.rs
View file

@ -32,7 +32,7 @@ use collections::{BTreeMap, Bound, HashMap, HashSet, VecDeque};
use copilot::Copilot;
pub use display_map::DisplayPoint;
use display_map::*;
pub use editor_settings::EditorSettings;
pub use editor_settings::{EditorSettings, InlayHints, InlayHintsContent};
pub use element::{
Cursor, EditorElement, HighlightedRange, HighlightedRangeLine, LineWithInvisibles,
};

29
crates/editor/src/inlay_hint_cache.rs
View file

@ -45,6 +45,17 @@ struct ExcerptQuery {
cache_version: usize,
invalidate: InvalidationStrategy,
}
impl ExcerptQuery {
fn contains_position(&self, position: text::Anchor, buffer_snapshot: &BufferSnapshot) -> bool {
self.excerpt_range_start
.cmp(&position, buffer_snapshot)
.is_le()
&& self
.excerpt_range_end
.cmp(&position, buffer_snapshot)
.is_ge()
}
}
#[derive(Debug, Clone, Copy)]
pub enum InvalidationStrategy {
@ -284,7 +295,7 @@ fn new_update_task(
})
});
let cached_excerpt_hints = Arc::get_mut(cached_excerpt_hints)
.expect("Cached excerot hints were dropped with the task");
.expect("Cached excerpt hints were dropped with the task");
match new_update.cache_version.cmp(&cached_excerpt_hints.version) {
cmp::Ordering::Less => return,
@ -460,6 +471,9 @@ fn new_excerpt_hints_update_result(
let mut excerpt_hints_to_persist = HashMap::default();
for new_hint in new_excerpt_hints {
if !query.contains_position(new_hint.position, buffer_snapshot) {
continue;
}
let missing_from_cache = match &cached_excerpt_hints {
Some(cached_excerpt_hints) => {
match cached_excerpt_hints.hints.binary_search_by(|probe| {
@ -494,18 +508,7 @@ fn new_excerpt_hints_update_result(
visible_hints
.iter()
.filter(|hint| hint.position.excerpt_id == query.excerpt_id)
.filter(|hint| {
query
.excerpt_range_start
.cmp(&hint.position.text_anchor, buffer_snapshot)
.is_le()
})
.filter(|hint| {
query
.excerpt_range_end
.cmp(&hint.position.text_anchor, buffer_snapshot)
.is_ge()
})
.filter(|hint| query.contains_position(hint.position.text_anchor, buffer_snapshot))
.map(|inlay_hint| inlay_hint.id)
.filter(|hint_id| !excerpt_hints_to_persist.contains_key(hint_id)),
);