From ca35d73d81f1f57441c0c03e8be3c4e00ef99279 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ra=C4=8D=C3=A1k?= <rakyi@users.noreply.github.com>
Date: Mon, 26 Aug 2024 18:37:23 +0200
Subject: [PATCH] Add delay for hiding details on demand (#3901)

---
 site/detailsOnDemand.tsx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/site/detailsOnDemand.tsx b/site/detailsOnDemand.tsx
index dcab97215bd..a600d3aa587 100644
--- a/site/detailsOnDemand.tsx
+++ b/site/detailsOnDemand.tsx
@@ -58,6 +58,10 @@ export async function runDetailsOnDemand() {
             tippy(element, {
                 content,
                 allowHTML: true,
+                // Add hide delay to allow users reaching the tooltip with
+                // a mouse before it hides in tricky edge cases, e.g. when
+                // the DOD spans multiple lines.
+                delay: [null, 200],
                 interactive: true,
                 hideOnClick: false,
                 arrow: false,