diff --git a/src/public/index.html b/src/public/index.html
index c52b0ca..11368bc 100644
--- a/src/public/index.html
+++ b/src/public/index.html
@@ -1141,6 +1141,10 @@
return localStorage.setItem("config_zoom_level_go_to_node", value);
}
+ function isMobile() {
+ return /Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent);
+ }
+