From 15856d7047e05f29f3e37dc8f9c9eb47ae81d9f7 Mon Sep 17 00:00:00 2001 From: Pieter Vander Vennet Date: Sat, 5 Oct 2024 12:30:38 +0200 Subject: [PATCH] Fix: should improve 2193 --- src/UI/ThemeViewGUI.svelte | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/UI/ThemeViewGUI.svelte b/src/UI/ThemeViewGUI.svelte index 52ac9dd8e7..f14ca14f8d 100644 --- a/src/UI/ThemeViewGUI.svelte +++ b/src/UI/ThemeViewGUI.svelte @@ -95,7 +95,7 @@ // ... and we force a fresh popup window selectedElement.setData(value) }) - }, slideDuration) + }, slideDuration + 50) }) state.mapProperties.installCustomKeyboardHandler(viewport)