Fix type

Kuuuube · Kuuuube · commit 599bef233fbd · 2025-10-09T10:23:37.000-04:00
diff --git a/osu.Framework/Graphics/UserInterface/TextBox.cs b/osu.Framework/Graphics/UserInterface/TextBox.cs
@@ -1411,7 +1411,7 @@ protected override bool OnMouseDown(MouseDownEvent e)
 
             var lastSelectionBounds = getTextSelectionBounds();
 
-            var tripleClickTime = GetContainingInputManager().AsNonNull().GetButtonEventManagerFor(e.Button).DoubleClickTime;
+            float tripleClickTime = GetContainingInputManager().AsNonNull().GetButtonEventManagerFor(e.Button).DoubleClickTime;
 
             if (lastDoubleClickTime != null && Time.Current - lastDoubleClickTime < tripleClickTime)
             {

Original file line number	Diff line number	Diff line change
`@@ -1411,7 +1411,7 @@ protected override bool OnMouseDown(MouseDownEvent e)`
`1411`	`1411`
`1412`	`1412`	`var lastSelectionBounds = getTextSelectionBounds();`
`1413`	`1413`
`1414`		`- var tripleClickTime = GetContainingInputManager().AsNonNull().GetButtonEventManagerFor(e.Button).DoubleClickTime;`
	`1414`	`+ float tripleClickTime = GetContainingInputManager().AsNonNull().GetButtonEventManagerFor(e.Button).DoubleClickTime;`
`1415`	`1415`
`1416`	`1416`	`if (lastDoubleClickTime != null && Time.Current - lastDoubleClickTime < tripleClickTime)`
`1417`	`1417`	`{`