# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1700667096 -3600
# Node ID 4ab4bc3ae4621db659481828c823859d5a99f32e
# Parent  02432346e9b24a2cb40f692fd01528e45ffa3dcb
browser: new `tools` module with a first method to detect touch devices

diff -r 02432346e9b2 -r 4ab4bc3ae462 libervia/web/pages/_browser/tools.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/libervia/web/pages/_browser/tools.py	Wed Nov 22 16:31:36 2023 +0100
@@ -0,0 +1,6 @@
+"""Common useful tools"""
+from browser import window
+
+
+def is_touch_device():
+    return hasattr(window, 'ontouchstart')