From d042e20fff6f0dcd3a3d458aba9979e4671642d6 Mon Sep 17 00:00:00 2001 From: Dave Davenport Date: Fri, 8 Dec 2023 13:51:04 +0100 Subject: [PATCH] [View] Allow float delay fixes: #1926 --- source/view.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/source/view.c b/source/view.c index 6d04503f..0e924c92 100644 --- a/source/view.c +++ b/source/view.c @@ -555,6 +555,13 @@ static void rofi_view_set_user_timeout(G_GNUC_UNUSED gpointer data) { int delay = p->value.i; CacheState.user_timeout = g_timeout_add(delay * 1000, rofi_view_user_timeout, NULL); + } else { + Property *p = rofi_theme_find_property(wid, P_DOUBLE, "delay", TRUE); + if (p != NULL && p->type == P_DOUBLE && p->value.f > 0.01) { + double delay = p->value.f; + CacheState.user_timeout = + g_timeout_add(delay * 1000, rofi_view_user_timeout, NULL); + } } } }