From 61958b94ee19db230ac9b410d12d3fd250cc8599 Mon Sep 17 00:00:00 2001
From: fin444 <fin444@users.noreply.github.com>
Date: Sat, 21 Dec 2024 12:21:08 -0800
Subject: [PATCH] prevent double trigger of screen edge listener

---
 contents/code/main.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/contents/code/main.js b/contents/code/main.js
index b835b12..ebe31af 100644
--- a/contents/code/main.js
+++ b/contents/code/main.js
@@ -50,11 +50,17 @@ workspace.windowRemoved.connect((window) => {
 	}
 });
 
+var lastScreenEdge = 0;
 function screenEdgeActivated() {
+	if (Date.now() - lastScreenEdge < 200) {
+		// a bug in kwin sometimes causes a double trigger, so we enforce a 200ms cooldown
+		return;
+	}
 	for (window of workspace.windowList()) {
 		if (window.active) {
 			if (isManaged(window) && shouldHideTitle(window)) {
 				window.noBorder = !window.noBorder;
+				lastScreenEdge = Date.now();
 			}
 			return;
 		}