From c79054bf514c9ab0c26e62cf7307557a5dcbfad5 Mon Sep 17 00:00:00 2001 From: Feodor Fitsner Date: Thu, 28 Apr 2022 11:57:54 -0700 Subject: [PATCH] Make tooltip delay longer --- client/lib/controls/create_control.dart | 1 + sdk/python/playground/icons-browser.py | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/client/lib/controls/create_control.dart b/client/lib/controls/create_control.dart index 3ae62c3ef..7d9911397 100644 --- a/client/lib/controls/create_control.dart +++ b/client/lib/controls/create_control.dart @@ -237,6 +237,7 @@ Widget _tooltip(Widget widget, Control? parent, Control control) { ? Tooltip( message: tooltip, child: widget, + waitDuration: const Duration(milliseconds: 800), ) : widget; } diff --git a/sdk/python/playground/icons-browser.py b/sdk/python/playground/icons-browser.py index 1b8fd3438..ddced35e3 100644 --- a/sdk/python/playground/icons-browser.py +++ b/sdk/python/playground/icons-browser.py @@ -89,7 +89,8 @@ def display_icons(search_term: str): # border=border.all(1, colors.BLACK26), # bgcolor="#f0f0f0", border_radius=border_radius.all(3), - ) + ), + tooltip="Click to copy icon name to a clipboard", ) )