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

Prevent insertion of empty inlays into InlayMap

Browse source
This commit is contained in:
Antonio Scandurra 2023-06-20 10:02:24 +02:00 • committed by Kirill Bulatov
parent 3b9a2e3261
commit 9698b51524
1 changed files with 11 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/editor/src/display_map/inlay_map.rs
View file

@ -474,6 +474,12 @@ impl InlayMap {
position: properties.position, position: properties.position,
text: properties.text.into(), text: properties.text.into(),
}; };
// Avoid inserting empty inlays.
if inlay.text.is_empty() {
continue;
}
self.inlays_by_id.insert(inlay.id, inlay.clone()); self.inlays_by_id.insert(inlay.id, inlay.clone());
match self match self
.inlays .inlays
@ -521,7 +527,11 @@ impl InlayMap {
if self.inlays.is_empty() || rng.gen() { if self.inlays.is_empty() || rng.gen() {
let position = snapshot.buffer.random_byte_range(0, rng).start; let position = snapshot.buffer.random_byte_range(0, rng).start;
let bias = if rng.gen() { Bias::Left } else { Bias::Right }; let bias = if rng.gen() { Bias::Left } else { Bias::Right };
let len = rng.gen_range(1..=5); let len = if rng.gen_bool(0.01) {
0
} else {
rng.gen_range(1..=5)
};
let text = util::RandomCharIter::new(&mut *rng) let text = util::RandomCharIter::new(&mut *rng)
.filter(|ch| *ch != '\r') .filter(|ch| *ch != '\r')
.take(len) .take(len)