From e3d7f0c7d5e997631b491b0a2c9c3f8c1e6565e0 Mon Sep 17 00:00:00 2001
From: ed <s@ocv.me>
Date: Thu, 16 Mar 2023 19:48:44 +0000
Subject: [PATCH] add tooltip delay to android too

---
 copyparty/web/util.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/copyparty/web/util.js b/copyparty/web/util.js
index 4156ad60..68a72d8a 100644
--- a/copyparty/web/util.js
+++ b/copyparty/web/util.js
@@ -1206,13 +1206,13 @@ var tt = (function () {
         r.th.style.top = (e.pageY + 12 * sy) + 'px';
     };
 
-    if (IPHONE) {
+    if (TOUCH) {
         var f1 = r.show,
             f2 = r.hide,
             q = [];
 
         // if an onclick-handler creates a new timer,
-        // iOS 13.1.2 delays the entire handler by up to 401ms,
+        // webkits delay the entire handler by up to 401ms,
         // win by using a shared timer instead
 
         timer.add(function () {