From b7a0aa9a6d31c8de2c51cca655a82f439f1b0d1d Mon Sep 17 00:00:00 2001
From: anoshenko <anoshenko@gmail.com>
Date: Tue, 2 May 2023 18:58:57 +0300
Subject: [PATCH] Bug fixing

---
 app_scripts.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/app_scripts.js b/app_scripts.js
index 15d5e98..8e40df5 100644
--- a/app_scripts.js
+++ b/app_scripts.js
@@ -1992,6 +1992,10 @@ function mouseLeaveEvent(element, event) {
 	sendMessage("mouse-leave{session=" + sessionID + ",id=" + element.id + mouseEventData(element, event) + "}");
 }
 
+function stopEventPropagation(element, event) {
+	event.stopPropagation();
+}
+
 function setCssVar(tag, value) {
 	const root = document.querySelector(':root');
 	if (root) {