diff options
| -rw-r--r-- | src/ide/tooltip.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ide/tooltip.rs b/src/ide/tooltip.rs index 0b37b7ca..b1107469 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<Tool last = Some((value, 1)); } + if let Some((_, count)) = last { + if count > 1 { + write!(pieces.last_mut().unwrap(), " (x{count})").unwrap(); + } + } + if iter.next().is_some() { pieces.push("...".into()); } |