From a1c40d7fd0933fda0386835d6db1cae244befd2a Mon Sep 17 00:00:00 2001 From: Ruben Fiszel Date: Tue, 6 Aug 2024 10:39:13 +0200 Subject: [PATCH] add timeout for app editor log panel --- frontend/src/lib/components/apps/editor/AppEditor.svelte | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/frontend/src/lib/components/apps/editor/AppEditor.svelte b/frontend/src/lib/components/apps/editor/AppEditor.svelte index 58650cf296..812805ae13 100644 --- a/frontend/src/lib/components/apps/editor/AppEditor.svelte +++ b/frontend/src/lib/components/apps/editor/AppEditor.svelte @@ -536,6 +536,7 @@ } let runnableJobEnterTimeout: NodeJS.Timeout | undefined = undefined + let stillInJobEnter = false @@ -679,9 +680,15 @@ class="relative h-full w-full overflow-x-visible" on:mouseenter={() => { runnableJobEnterTimeout && clearTimeout(runnableJobEnterTimeout) - $runnableJob.focused = true + stillInJobEnter = true + runnableJobEnterTimeout = setTimeout(() => { + if (stillInJobEnter) { + $runnableJob.focused = true + } + }, 200) }} on:mouseleave={() => { + stillInJobEnter = false runnableJobEnterTimeout = setTimeout( () => ($runnableJob.focused = false), 200