From 533d4d57c6b65469e39d7b5d2289df1adb9cfb64 Mon Sep 17 00:00:00 2001
From: Laurenz <laurmaedje@gmail.com>
Date: Sat, 18 Mar 2023 17:51:13 +0100
Subject: [PATCH] Fix hover tooltip value collapsing

---
 src/ide/tooltip.rs | 6 ++++++
 1 file changed, 6 insertions(+)

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<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());
     }