diff --git a/src/ide/tooltip.rs b/src/ide/tooltip.rs index 0b37b7ca5..b11074695 100644 --- a/src/ide/tooltip.rs +++ b/src/ide/tooltip.rs @@ -83,6 +83,12 @@ fn expr_tooltip(world: &(dyn World + 'static), leaf: &LinkedNode) -> Option 1 { + write!(pieces.last_mut().unwrap(), " (x{count})").unwrap(); + } + } + if iter.next().is_some() { pieces.push("...".into()); }